Skip to main content

Full text of "Motivic Weight Complexes for Arithmetic Varieties"

See other formats


MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC 

VARIETIES 

o 

O . HENRI GILLET AND CHRISTOPHE SOULE 



>. 

cd 



o 



(N 



c^ 



To Paul Roberts 



(X) ■ Contents 

(N 

Introduction 2 

1. Stacks 5 

, 1.1. Quotient stacks 5 

"^ ' 1.2. Resolution of singularities 6 

^ . 2. Hyper covers 7 

C^ I 2.1. Simplicial objects and coskeleta 17 

2.2. Hypercovers and right lifting 11 

2.3. Hypercovers of schemes and stacks 14 

2.4. Compactification of simplicial varieties 16 
^ ■ 3. Homological descent 2C 

rn ! 4. Review of i^-theory 27 

^^ ' 4.1. The homology theory associated to G-theory 27 

^ ! 4.2. G-theory of stacks 28 

5. Weight complexes for varieties and stacks 31 

(•~^ ■ 5.1. Introduction 31 

CO , 5.2. Ko-correspondences 31 

^7-^ I 5.3. Weight complexes for simplicial varieties 34 

5.4. Weight complexes of stacks 37 

k>( \ 5.5. Chow motives 38 

^ ■ 5.6. A variant 4C 



6. Contravariance of weight complexes 41 

6.1. A Category of complexes of sheaves l41 

6.2. Enriching the category of varieties over the category of chain 

complexes 43 

References 5C 



Date: May 28, 2009. 

This research partially supported by NSF grant DMS-0500762. 

1 



2 henri gillet and christophe soule 

Introduction 

In this paper we extend the results in the paper [14j to arithmetic varieties. 
While in op. cit., our main results were framed in terms of Chow motives 
with integral coefficients, in this paper we shall use iiTo-motives with rational 
coefficients. This is because we do not have resolution of singularities, but 
rather must appeal to De Jong's results in [Bj. 

In addition, De Jong's results in [6] lead us to extend the theory of weight 
complexes to Deligne-Mumford stacks. However this is not a substantial 
generalization, since the weight complexes of a stack and of its "coarse space" 
are homotopy equivalent. 

In this paper we shall prove the following theorem, where S is a base 
scheme satisfying the condition (C) below. 

Theorem 0.1. There is a covariant functor h : Stacks — s- ilo{C^{K(S)) 
from the category of (separated) Deligne-Mumford stacks of finite type over 
S, to the category of homotopy classes of maps of bounded complexes of (ho- 
mological) KQ-motives over S with rational coefficients, having the following 
properties: 

• If X is a regular scheme, projective over S, then h{X) is the usual 
motive of X. 

• If X is a regular scheme, projective over S, and G is a finite group 
acting on X, then h{[X/G]) = h{X)^ . Here [X/G] is the quotient 
stack associated to the action. 

• If ^ C X is a closed substack with complement ii, then we have a 
triangle 

/i(2)) ^ h{X) ^ /i(H) ^ hm [+1] . 

An immediate consequence of the theorem is: 

Corollary 0.2. One can associate to any reduced separated Deligne-Mumford 
stack X of finite type over S an element Xc(^) in the Grothendieck group 
i^olKM^) of the category KM5 of KQ-motives over S, with the following 
properties: 

(i) If X is a regular projective scheme over S equipped with an action 
by a finite group G then Xci[X/G]) is the class of 



(^'#(^E[^r(,.)]); 



geG 

here [X/G] is the quotient stack associated to the action of G on 

X and T{g<t:) is the graph of the action g^^ : X ^>- X of an elem,ent 

geG. 

If ^ C X is a closed substack, with complement X\ 2), 

xc{x) = xcm+xcix\^). 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 3 

We work over a fixed base scheme S which is regular, excellent, and 
finite dimensional. Such an S is sufficient to define the category of Kq- 
motives. However, in order to apply the results of de Jong to construct 
weight complexes, we must additionally assume: 

(C) for every finite morphism n : T ^ S, and finite group G acting on 
T over S, the pair {T,G) satisfies 5.12.1 of [6]. 

It is straightforward to check that examples of such an S are: 

i) S = Spec(A;) with k a field 

ii) S = Spec(A) with A an excellent Dedekind domain. In particular 
S = Spec(C'i<-) with Ok the ring of integers in a number field. 

This article is organized as follows. 

In the first section, after deriving some basic properties of algebraic stacks, 
we deduce from [6' two results about resolution of singularities, one for arbi- 
trary Deligne-Mumford stacks over a base scheme S satisfying the condition 
(C) above, and one about quotient stacks. 

In the second paragraph, we discuss simplicial schemes and hypercov- 
ers. We introduce the notion of proper hypercover of a stack jt by a 
simplicial scheme and derive some of its properties, e.g. the fact that is 
stable by base change by any morphism from a simplicial scheme to X 
(Lemma I2.15P . We show that any simplicial variety admits a split proper 
hypercover (Prop. I2.16P and we also show that these coverings can be com- 
pactified (Prop. EH]). 

The next section discusses homological descent, following the method of 
SGA4 [16j, for arbitrary covariant functors from the category of proper mor- 
phisms between schemes to the category of connective spectra which satisfy 
appropriate axioms. This result applies in particular to rational G-theory. 
The main statement. Theorem [331 says that any proper hypercover between 
simplicial varieties with proper face maps induces a weak equivalence of the 
associated spectra with rational coefficients. We also show, in Theorem 13. 9^ 
that any hyperenvelope between simplicial varieties with proper face maps 
induces a weak equivalence of the associated spectra with integral coeffi- 
cients. 

The fourth section is a review of the G-theory of stacks and simplicial 
schemes. In particular we show that G-theory may be extended to a co- 
variant functor on the category of all proper, not necessarily representable, 
morphisms between Deligne-Mumford stacks. The next section contains the 
main results about weight complexes. After defining correspondences and 
homological motives over S, we associate a weight complex of motives r^,(Q.) 
to an arbitrary arrow a. of simplicial projective varieties (Theorem lS.Sp . We 
use this result to define weight complexes for arbitrary simplicial varieties 
over S (Theorem I5.9p and then to prove Theorem 10.11 and Corollary 10.21 We 
then show how this implies the existence of a virtual Chow motive (with 
rational coefficients) for every variety over a base field of arbitrary charac- 
teristic. Finally using a result of O. Gabber, we show that given a prime i 



4 HENRI GILLET AND CHRISTOPHE SOULE 

invertible in S one can define weight complexes for Deligne-Muniford stacks 
over S with values in the category of homotopy classes of complexes of Kq- 
motives over S with Z(£)-coefficients. However, we do not know if this latter 
construction leads to bounded complexes or not. 

The last section is devoted to the proof of contravariance properties of 
weight complexes. We assume that S is the spectrum of a field. Given 
two varieties X and Y over S we define a Waldhausen category C{X,Y) 
of complexes of sheaves on X x y and we prove that it is contravariant 
in X and covariant in Y (Lemma 16. 4p . When X is regular and projective 
the i^-theory KC{X,Y) of C{X,Y) coincides with the G-theory of X x y 
(Proposition 16. 9( ). We then extend the construction to an arbitrary pair of 
maps (a.,/3.) of simplicial varieties, getting a spectrum KC(q. ,/?.). When 
the simplicial varieties involved are regular and projective, we define a mor- 
phism 7 from vro KC(a., /?.) to the group of homotopy classes of maps from 
r,,(a.) to r*(/3.). Using this, given two projective varieties X and Y we 
define a map from 7roKC(X, y) to Hom(/i(X), h{Y)) which extends earlier 
constructions, and in particular, we attach to any morphism f : X ^ Y 
of finite tor-dimension between varieties, a morphism of weight complexes 
/* : h{Y) — > h{X). When / is an open immersion, we show that /* coincide 
with the map already defined. 

We would like to thank the referee for useful comments on the paper. 
Conventions. 

• All schemes and stacks will be assumed to be separated. 

• By a variety we will simply mean a scheme which is of finite type over 
our base S. The category of such varieties and proper morphisms 
between them will be denoted Vars- 

• A scheme is said to be integral if it is reduced and irreducible. 

• A simplicial scheme X. over S will be said to be proper over S*, if 
each Xn is proper over S. 

• A subsimplicial scheme U. C X. will be said to be strongly open if 
its complement X. \U. \s a, closed sub-simplicial scheme. This is 
equivalent to requiring that U. = cosk (^o)- 



motivic weight complexes for arithmetic varieties 5 

1. Stacks 

1.1. Quotient stacks. For definitions and terminology relating to stacks 
see [23] , 

All our stacks will be Deligne-Mumford stacks of finite type over S. 

If X is a stack, we denote its set of points by |X|, which is a finite dimen- 
sional noetherian topological space ([23j, Chapter 5). Given x G \X\, it has 
a residue field k(j;) which is an S*- field {op. cit. 11.2). We write X(j) for the 
set of points x € \X\ which are the generic points of i-dimensional subsets. 

Following [22], [5] we know that \X\ is the set of points of an algebraic 
space, which we shall also denote |X| and call the coarse space of X. 

Proposition 1.1. ( j23j thni. 6.1.) IfX has a finite etale cover by a variety, 
then there exists a Galois cover by a variety tt : V ^ X. I.e., there is a finite 
group G acting on V , and X = [V/G] is the quotient stack for the action. 

Definition 1.2. We shall refer to stacks of the form [V^/G] as quotient stacks. 

Putting together 11.11 and [23] . corollaire 6.6.1, we get: 

Proposition 1.3. Let X be a Deligne-Mumford stack. Then there is a non 
empty open substack U C 3£ which is a quotient stack, and we can choose il 
so that il ~ [U/G] with U quasi-projective over S. 

Lemma 1.4. Let 3 = [Z/G] for G a finite group acting on an S-variety 
V. Then there is a G-equivariant compactification Z C W of Z over S, and 
hence an open immersion 3^2) = [VF/G] with 2) proper over S. 

Proof. It will be sufficient to find a G-equivariant compactification of Z. 
Recall the following standard argument. Let i : Z ^ Z he any compact- 
ification of Z. (This exists by Nagata's theorem.) Consider the G-fold 
fiber product Z^, which is proper over S. There is a natural morphism of 
schemes rj : Z ^ Z^, the "g-th" component, for g £ G, oi which is equal to 
i ■ Pg : Z —^ Z , where p^ : Z — > Z is the action of g. Observe that G acts 
on Z'^ by permuting the factors in the product, and, by construction, r] is 
G-equivariant. Hence the Zariski closure W of Z in Zg is a G-equivariant 
compactification of Z. D 

Lemma 1.5. A map f : X ^ Y of quotient stacks is proper if and only if 
there are finite etale covers U ^ X and V ^ Y by varieties, and a map 
f : U ^ V which is proper, such that the diagram 

U > V 



X > Y 

commutes. 

Proof. Let V ^>- Y he any finite etale cover of y by a variety. Since / 
being proper is local in the etale topology of Y, f is proper if and only if 



6 HENRI GILLET AND CHRISTOPHE SOULE 

/y : y Xy X ^ y is proper. Now let PF — > X be a finite etale cover of X 
by a variety. Then the induced map g : U := V xy W ^t V xy X \s finite, 
etale, and surjective, and so fv is proper if and only if the composition 
f = fy o g -.U —>V \s proper. D D 

Definition 1.6. Recall that a map f : X ^^ Y oi schemes is radicial if 
equivalently: 

• For every field F, the induced map X(F) -^ YiF) is injective. 

• / is injective as a map of schemes, and for every point x (^ X, the 
field extension k(/(x)) C k(x) is purely inseparable. 

Following [23] 3.10, we say that a representable morphism / : X — > 2) 
between Deligne-Mumford stacks is radicial if there is an etale cover p : 
[/ — > 2) with U a scheme, such that U X(qX is a scheme, and U x<x)X ^ U 
is radicial. 

1.2. Resolution of singularities. 

Theorem 1.7. If X is a Deligne-Mumford stack of finite type over S, there 
is a proper surjective morphism p : X ^ X with X a regular variety over S. 

Proof. By Chow's lemma ( [23] Corollaire 16.6.1) there is a proper surjective 
morphism po ^ -'^o — ^ ^ with Xq a projective variety over 5. Hence it 
suffices to show that there is a proper surjective map n : X ^ Xq such that 
X is regular. Let / : Xq ^ 5 be the structural map, and f = q ■ g its Stein 
factorization, with g : Xq -^ T and q :T ^f S. Then q is finite, and so by the 
hypothesis (C) on 5", T satisfies 5.12.1 of [6j. Furthermore, by Remark 4.3.4 
of EGA III [15] . g has geometrically connected fibres. Let T' be the disjoint 
union of the irreducible components of T, and Xq the pull back of Xq over 
T' . Then g' : Xq -^ T' still has geometrically connected fibres, and so the 
inverse image by g' of each component of T' is an irreducible component of 
Xq. By the standing assumption on S, each component of T' satisfies [6] 
5.12.1, and hence by [6] Theorem 5.13 each component of Xq admits a non- 
singular alteration, and we set X equal to the disjoint union of these. D 

We also need resolution of singularities for quotient stacks: 

Theorem 1.8. Let X = [X/G] be a reduced quotient stack of finite type over 
S. Then there is a family of proper morphisms of quotient stacks 

Pi:[Y,/Hi]^X, 

where each Yi is regular and integral, and a dense open substack ii C X such 
that, if 

p : n [Yi/Hi] ^ X 

i 

is the disjoint union of the pi 's, the induced map 

p"^(H) ^H 
is representable and radicial. 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 7 

Proof. If X = U Xj is the decomposition of X into irreducible components, 

i 

since the map U Xj — s- X is an isomorphism on a dense open subset of both 

i 

source and target, it suffices to consider the case when X is irreducible. Since 
X is irreducible, G acts transitively on the irreducible components of X. 

Let Xq be one such component, and Gq C G its stabilizer. Then since 
the inclusion i : Xq — > X is Go-equivariant, there is an induced map 

/ : [Xo/Go] - [X/G] 

which is clearly surjective (since the pull back of the etale cover X — > [X/G] 
by / is isomorphic to the disjoint union of the irreducible components of 
X). Furthermore, since the map from the disjoint union of the irreducible 
components of X to X induces an isomorphism between dense open subsets 
of source and target, the same is true for /. 

It suffices, therefore, to show that there is a map 2) = [Y/H] — > [Xq/Gq] 
with the desired properties. 

Consider the map go : Xq ^^ S. This is Go-equivariant, with Gq acting 
trivially on S. Let 

Xo^T^S 
be its Stein factorization, which is again Go-equivariant. Then the mor- 
phism q has geometrically irreducible fibres, and (T, Gq), by the standing 
assumption on S, satisfies 5.12.1 of [6j, hence {op. cit., 5.13) there is a Ga- 
lois alteration (Y,H) -^ (Xo,Go) with Y regular. Set 2) = [Y/H]. The field 
extension A;(2))/fc(X) is purely inseparable by {op. cit., 5.13). Since Y is 
integral, we may assume that the kernel of -ff — s- Gq is the Galois group of 
this extension. Therefore there is a dense open substack il C X such that the 
map p~^{ii) ^ il is representable and radicial. This proves our result. D 

2. Hypercovers 

The material in this section is based on expose V ^^ of [16j, as well as [7|. 
Throughout this section C will be a category with finite limits and colimits. 
In particular C has a final object. 

2.1. Simplicial objects and coskeleta. Recall that A is the category 
of finite non-empty totally ordered sets and order preserving maps. For 
n G N, we write [n] := {0 < . . . < n}; these objects (and the morphisms 
between them) form a skeletal subcategory of A. Let A<„, C A be the full 
subcategory consisting of objects with cardinality at most n. 

A simplicial object in C is a contravariant functor X. : A ^ C. We write 
X„ for X.([n]). The category of simplicial objects in C will be denoted by 
A°P(C). 

An n-truncated simplicial object is a contravariant functor X. : A<„ ^ C. 
The corresponding category will be denoted A^^{C). 

There is an obvious restriction functor 

sk„ : A°P(C) -. AZ{C) . 



8 HENRI GILLET AND CHRISTOPHE SOULE 

This functor has two adjoints. Since C has finite inverse hmits, sk„ has a 
right adjoint 

cosk„ : A°<P„(C) ^ A°P(C) . 

Note that sk„ o cosk„ = Id. In addition, sk„ has a left adjoint which we 
denote l^ and which is a fuhy faithful functor. 

We shall write Cosk„ for the composition cosk„ o sk„, and Sk„ for the 
composition t„ o sk„. Note that (Sk„, Cosk„) are an adjoint pair. 

If Y. is a fixed object in A°p(C), we can consider the category A°P(C)y. 
of simplicial objects over y., as well as the category of n-truncated objects 
A^P„(C)y. over sk„(y.). 

There is an obvious restriction functor 

sk^- : A°P(C)y. -. AZ{C)y. 

which has a right adjoint cosk„', given by 

cosk^-(X.) = cosk„(X.) Xcosk„(y.) Y- 

We write Cosk„' for the composition cosk„' osk„'. We also set Cosk_\ := Y. 
The following is straightforward, so we omit the proof. 

Lemma 2.1. Let f : X. ^ Y. be a map of simplicial objects in C. 

1) lfm>n>0, then the natural m,ap 

Cosk^-(X). ^ Cosk^(Cosk^;(X).). 

is an isomorphism. 

2) If n > p > 0, the natural map 

Xp ^ Cosk^-(X)p 

is an isomorphism. 

3) If n > p > 0, then 

CoskliX.)p -^ Cos^Li(X.)p 
is an isomorphism. 

If A is a finite set, and X € C is an object, we write XxA for Ua^A X. HA. 
is the simplicial set associated to a finite simplicial complex, and X. € A°pC 
we define X. x A. by {X. x A.)k := X^ x A^.. 

Two maps fo : X. ^> Y. and fi : X. ^> Y. are said to be homotopic if 
there is a map 

h.:X.x A[l] -^ Y. 

such that h.\xx{i} = fi- 

Lemma 2.2. Let X and Y be two objects of C. If fi : X ^> Y for i = 0, 1 

are two arbitrary maps, then the maps cosk(/o) : cosko(X). — > cosko(y). 
and cosk(/i) : cosko(X). -^ cosko(l'). are homotopic. 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 9 

Proof. We have to construct maps, for p >0: 

(cosko(X)p = XP+i) X HomA(b], [1]) ^ cosko(y)p = YP+^ 

which are compatible with the morphisms in A. Given (p : [p] ^> [1], define 

hpi^) := ihpicP)o, ..., hp{cP)p) : XP+' ^ yP+i 

by, for i = 0, ...,p, 

hp{(t>)i = U{i) : X ^Y . 
It is straightforward to check that this works. D 

More generally, we have the following result, which extends Lemme 3.0.2.4 
of expose V*^'*^ of [16]: 

Lemma 2.3. Let S. be a fixed simplicial object in C. Suppose that n > 
and that fi : X. ^ Y. for i = 0, 1 are two maps in the category A'^{C) of 
simplicial objects over S., such that (/o)p = (/i)p for p < n. Note that if 
n = this last condition is vacuous. Then Cosk^'(/o) and Cosk„(/i) are 
homotopic. 

Proof. The two maps Coskf(/o). and Cosk„(/i). are homotopic if there is 
a map 

h. : Cosk^-(X). x A[l] ^ Coskf-(y). 

such that /i.|coskS(x)x{i} = /*• Since 

Cosk^-(X). = Cosk„(X). xcosk„(S). S. 

it is enough to find a homotopy 

h. : Cosk„(X). x A[l] ^ Cosk„(y). 

which is a map of simplicial objects over Cosk„(S'). 
To give the map h. is equivalent to giving a map 

sK{h.) : sk„(X) X sk„(A[l]) ^ sk„(y.) , 

i.e. to giving maps, for k < n, 

hk,<p '■ ^k —"Yk 

for 4> G A[l]fc = HomA([A;], [1]) compatible with faces and degeneracies, such 
that /iA:,9i ~ {fi)k foi" di '■ [k] ~^ \^\ ~ {0' ^l ^^^ Constant map with value i. 

Since (/o)fc = {fi)k for k < n, we can set hk,<p = {fo)k = {fi)k for k < n. 
For k = n, and (f) / do,di, we can choose h/^.^^ = /o or /i arbitrarily. It 
is now straightforward to check that such a choice defines a homotopy, and 
that since /o and /i are maps of simplicial objects over S., h. is a map of 
objects over Cosk„(5). D 

If C is a category with finite products, if A is a finite set, and X is an 
object of C we define iioTa{A,X) := X . Notice that this is a functor 

Finite Sets°P xC^C. 



10 HENRI GILLET AND CHRISTOPHE SOULE 

Let n > 0. Given an n-truncated simplicial finite set A. and n-truncated sini- 
plicial object X. in C, Rom{A.,X.) defines a functor (A<„)°p x (A<p„)°p -^ C 
and we define 

HomA<„(^.,X) := / }iom{Ap,Xp) G C. 

i[p]6A<„ 

Here /r„igA denotes the end as in [23]. We say that a simpUcial set A. is 

finite if all the Ai are finite, and there is an n > such that A. = Skn{A.). 
Notice that if X is a finite simplicial complex, the associated simplicial set 
is finite. 

If A. is a finite simplicial set with A. = Sk^A., and X. is a simplicial 
object in C, we define: 

HomA(^., X) := HomA<„(Sk„ A., Sk„ X) . 

Note that if C had infinite products so that we could define HomA(^-)^-) 
directly, then we would have, since A. = Sk„ A. = Ln o skn A: 

RomAiA.,X.) = HomA(tn -sk^^, X.) 

= HomA<„(sk„^,sk„X.). 

It is straightforward to check that this definition does not depend on the 
choice of n, so long as A. = Sk„ A. 

Proposition 2.4. The functor HomA : [(A°p Sets)finito]°P x A°p C ^ C 
is left exact with respect to the first variable, i.e., suppose that A : I ^ 
(A°P Sets)finite is a diagram, with I finite, then 

HomA(lim^(i).,X.) ~ limHomA(^(i).,^.) . 
iei iei 

Proof. First observe that 

A^X^ 

is left exact with respect to A, and that direct limits in (A°p Sets)finite are 
computed degreewise. Since / is finite, there is an n > such that 

lim SKiA{i).) = Sk„(lim A(i).) . 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 



11 



Therefore 



HomA(limA(z).,X.) 



/ Rom{limA{i)fj,X, 



HomA<„(sk„(limyl(i)p),sk„(Xp)) 
peA<„ jg/ 

lim(Hom(A(i)p,Xp)) 
peA<„ jgT" 



lim / i{om.{A{i)p,Xp) 

(by the Fubini theorem, [24J, IX. 
UmHomA(^(i).,^.)- 



D 



2.2. Hypercovers and right lifting. Recall that a map / : X — > y be- 
tween simplicial sets is said to be a trivial fibration (II. 2. 2 of [27j), if it has 
the right lifting property for all monomorphisms i : A. ^f B. oi simplicial 
sets. That is, for all commutative squares: 



A. 



B. 



-^X. 



P 



Y. 



there is a lifting ^ : B. ^f X. such that the diagram 



A. 



B. 






Y. 



commutes. We can remove the explicit mention of the maps a and /3, by 
defining Hom(^.,X.) Xuom(A.,Y-) Hom(S.,y.) to be the pull back in the 
square 

Hom(5.,y4.) 



Rom{A.,X.) ^ Hom(^., Y.) 

Then the lifting property becomes the assertion that the natural map 



Rom{B.,X. 

is surjective. 



Hom(^.,X) XHom(A,y.)Hom(5.,y.) 



12 HENRI GILLET AND CHRISTOPHE SOULE 

Suppose now that f : X. ^ Y. is a morphisni in A°pC. li i : A. ^ B . is a 
monomorphism between finite simplicial sets, we define 

HomA(^.,X) XHomA(A,y.) HomA(S.,y.) 

to be tfie pull back in the square 

}iom^{B.,A.) 



HomA(^., X.) ^ Rom a{A.,Y.) 

Let P be a class of morphisnis in C which contains isomorphisms, is closed 
under composition, and is closed under base change. It is straightforward 
to check that these two conditions imply that V is closed under products. 

Definition 2.5. We say that a morphism / : X. — > y. of simplicial objects 
in C has the right P- lifting property with respect to an inclusion i : A. ^^ B . 
between finite simplicial sets, if the map 

HomA(S.,X) -^ Rom{A.,X.) XHom(A.,y.) iiom{B.,Y.) 

is in v. 

Recall that the morphism f : X ^^ Y in A°pC is called a P-hypercover, 
if for all n > 0, the morphism 

Xn ^ Cosk^Li(X)„ 

is in V. By definition of Cosk„L^(X.)„, this is equivalent to / having, for 
each n > 1, the right lifting property with respect to the inclusion 

sk„_i(A„) C A„, 

and for n = 0, this means that Xq -^ Yq is in V, i.e. the lifting property 
with respect to ^-> Aq. Applying II. 3. 8. of [9] and Proposition 12. 4|, we 
obtain: 

Lemma 2.6. A map f : X ^> Y in A°^C is a V-hypercover if and only if, 
for all monomorphisms i : A. —> B . of finite simplicial sets, the natural map 

HomA(5.,X) ^'-^^ HomA(A.,X) y<nom^{A.x.) RomA{B.,Y.) 

is in V, i.e. / has the right lifting property with respect to all infective maps 
between finite simplicial sets. 

From which it immediately follows that: 

Corollary 2.7. If f : X ^> Y in A^^C is a V-hypercover, then for all n, 

fn&V. 

Proof. For any given n, this is simply the right lifting property with respect 
to the inclusion 6 ^^ A„. D 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 13 

Lemma 2.8. If f : X. ^Y. is a V-hypercover, then the tower of maps: 
...^ Cosk^+i(X). -^ Cosk^-(X). ^ 

. . . Cosk^-(X.). ^ Cosk!;i(X.). = Y. 
has the following properties for all n > 0; 

1) the natural map 

Xp^Coskl-{X.)p 
is an isomorphism for p < n. 

2) (/n)p is an isomorphism for p < n. 

3) (/„)„ € V. 

Proof. 1) and 2) are already in Lemma |2 . 1 1 while 3) follows from 1) and the 
definition of a hypercover. D 

For schemes and stacks of finite type over S, we shall be interested in 
hypercovers with respect to two possible choices of V: 

i) V consists of those maps f : X ^ Y which are envelopes i.e. are 

proper and surjective on F- valued points for all fields F. We shall 

refer to such hypercovers as hyperenv elopes. 

ii) V consists of all maps f : X ^> Y which are proper and surjective, 

i.e., surjective on F- valued points for all algebraically closed fields. 

We shall refer to such hypercovers as proper hypercovers. 

The proof of the following proposition is a straightforward consequence 

of the definition of right P-lifting, and the valuative criterion of properness: 

Proposition 2.9. Let /. : X. — > Y. be a map of simplicial varieties. Then 
f. is a proper hypercover if, for all injections i : A ^^ B between finite 
simplicial sets, the following two conditions hold: 

i) For all algebraically closed fields F, and each commutative diagram: 

A. X Spec(F) ^-^ X. 



B. X Spec^F) ^^ Y. 

there is a lifting p. : B. x Spec(-F) — > X. 
ii) For every valuation ring A with fraction field F, and each commu- 
tative diagram: 

A. X Spec(A) UB.x Spec(F) ^-^ X. 

B. X Spec(A) ^ Y. 

there is a lifting p. : B.x Spec(A) — > X. 
f . is a hyperenvelope if in (\), the field F is any field. 



14 HENRI GILLET AND CHRISTOPHE SOULE 

2.3. Hypercovers of schemes and stacks. Recall that a stack X over S 
is in particular a category over the category of 5- varieties: 

a : X —I- Vars 

with a~^(X) the groupoid Hom(X, X). If / : X ^ X and g : Y ^ X are 
two morphisms, then / XxQ is the product of / and g in the category X. 
Then a{f >^xg) is the scheme parametrizing isomorphisms: 

■■ifopx =P*xif)) ^{9°PY =P*y{9)) 
where px '■ X xsY^X and py : X xsY ^ Y are the projections. 

Definition 2.10. A morphism from a simplicial scheme to a stack X, f. : 
X. -^ X, consists of a simplicial object /. in X, such that «(/.) = X. 

Lemma 2.11. Given f. as above, let coskp (Xq). be the simplicial scheme 
n \-^ Xq Xx- ■ ■ XxXq = a(/o x^- • • Xxfo), in which coskg (Xo)n parametrizes 
n-tuples 

(^0,1) • • • ,(^n-l,n) 

with Oi^iJ^i '■ fo ^^ fo cL'Ti' isomorphism in the groupoid a~^{X) = Hom(X, X). 
Then giving the full simplicial object f. in X is equivalent to giving a map 
of simplicial schemes 



X. -^ cosk^(Xo 



Proof. A map 



Xn -^ cosk^(Xo)„ 



is equivalent to giving a map 

(fn-- Xn^ XqXs ... Xs Xo = COsk^(Xo)„ 

and isomorphisms, for i = 1 . . . n 

Oi-i^i : (pj_i • ifn)* (/o) -^ {Pi ■ ^nTifo) ■ 

This is equivalent, up to canonical isomorphism, to giving an object /„ G X 
with a{fn) = Xn and isomorphisms, for i = 0, . . . , n: 

Oi-fn-' {PiVnT (/o)- 

Given /„, and the 6i, set 9i-i^i = 6i-6^_^] notice that there is then a canonical 
isomorphism /„ ~ (poV'n)* (/o) while given the 0j-i,j, we can set /„ equal 

to {pQipnT {h)- n 

Definition 2.12. We say that /. : AT. — > X is a proper hypercover if 

0) /o : Aq ^ X is proper and surjective. 

1) For all n > 1, the map 

q(/„) = A„ ^ Q(cosk„_i (/.)„) 

is proper and surjective (i.e. the natural map of simplicial schemes 
A. -^ coskg (Aq). is a proper hypercover). 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 15 

Given any stack X there exists a proper hypercover X. ^ X as above. 
Indeed, Chow's lemma imphes the existence of /o : Xq -^ X proper and 
surjective. Then choose X. = coskg (Xq). 

Lemma 2.13. If X is a stack and f. : X. ^ X is a morphism from a 
simplicial scheme to X, then for all morphisms g : T ^ X with T a scheme, 
f. induces a map /t- : X. Xj^ T — > T which is a proper hypercover if f. 
is. Furthermore, if g : T ^ X is etale and surjective, then f is a proper 
hypercover if and only if fr- is- 

Proof. First we need a technical lemma about fibre products. 

Lemma 2.14. Let f : X ^> X, g : Y ^ X, h : Z ^> X be three morphisms 
from schemes to a stack X. Suppose we are given a map of schemes p : X — > 
Y , and a map p '■ f ^> g in X covering p. Then the commutative square 

a{f X h) = X XxZ s- Y Xx Z = a{g x h) 



a{f=p-g)=X -^ Y = a{g) 

is cartesian. Le. there is a canonical isomorphism 

X XxZ ^^ X xyY XxZ . 

Proof. Straightforward using the explicit description of fiber products in 
2.2.2. n 



Suppose now that /. is a proper hypercover. Then, for n = 0, fo : Xq —i- X 
is proper and surjective. Therefore /o x^ It : Xq x^ T ^ T is proper and 
surjective, by the definition of properness (p3]> Definition (7.11)). 
For n > 1, we know that 

a(/„) = Xn^ a(Cosk„_i (/.)„) 

is proper and surjective. Now since Cosk„_i commutes with products (since 
it is a right adjoint), 

cosk„_i(/. X g)n = coskn-ii f.)n X g 
and so 

a(/n X g) —" a(cosk„_i(/. x g)n) 
is equal to 

XnXxT^ a(Cosk„_i(/.)„ X 5) ~ a(Cosk„_i(/.)) x^T 

which is again proper and surjective. 

Suppose now that g' : T — > X is etale and surjective, and that X. XxT — > T 
is a proper hypercover. Then 

XqXxT^T 



16 HENRI GILLET AND CHRISTOPHE SOULE 

is proper and surjective, and hence by [23] Remark (7.11.1) Xq — > X is 
proper and surjective. Similarly, for all n > 1, 

Xn -^ a(Cosk„_i (/.)„) 

is proper and surjective. This proves Lemma 12.131 D 

Lemma 2.15. If X is a stack, and f.:X.^Xisa proper hypercover of X 
by a simplicial variety, then for all morphisms g -.Y. ^f X with Y. a simplicial 
variety, the induced map fy. :Y. "X^X. ^Y. is a proper hypercover. 

Proof. We must show that for all n > the natural map 

(*) YnXxXn^ Cosk^Ll(y. XxX)„ 

is proper and surjective. It is straightforward to verify, knowing the adjunc- 
tion between Sk^-i and Cosk„_i, that there is a canonical isomorphism of 
schemes over Y^. 

Cosk^Li(y. xxX)„ ^ Yn XxCosk^_i(X)„ 

and that the composition of these two maps is the base change, by 1^ — > 36, 
of the proper surjective map X„ -^ Cosk„_^(X.)„. But by Lemma [2.141 



^n 



Yn XxXn ^ [Yn X ^ Cosk^_i(X)„) X(.^^i^x_^(^ )^ X„ 

and so the map (*) is proper and surjective by base change with respect to 
the map 

Yn Xxcosk^_i(X.)„ --> cosk^_i(X)„ . 

D 

2.4. Compactification of simplicial varieties. Recall that for n > 0, 
an n-truncated simplicial variety X. is said to be split if for all k < n, the 
complement in X^ of the image of the degeneracies: 

NXk = Xk\ \J SiiXn-l) 

^i'^n — 1 ^^n 

is both open and closed in X„. It then follows that for < A; < n: 

Xk= H X{a){NX,). 

If X. is a simplicial variety, we say that it is n- split if sk„(X.) is split, and 
split if it is n-split for all n > 0. 

Proposition 2.16. Given a simplicial variety X. with proper face maps, 
there is a proper hypercover f.:Y.^> X. with Y. split. 

Proof. We shall construct, by induction on n > 0, simplicial varieties Y{n). 
(with proper face maps), together with maps 

fn+i:Y{n + l).^Y{n). 

with the following properties: 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 17 

1) Y{n). is n-split for all n 

2) Y{0). = X. (note that any siniplicial variety is 0-split) 

3) For all n > 1, /„ is a proper hypercover 

4) For all n > 1, sk„_i(/„) is an isomorphism 

5) The natural map 

Y{n). -^ Cosk^-{Y{n).). 

is an isomorphism. (Notice that this is trivially true for n = 0.) 
Having constructed such a tower of maps, set (for n > 1) ipn : Y(n) -^ 
Y{0) = X. equal to /i o . . . o /„, and then define Y. = lim y(n), and c/9 : 

n 

Y. -^ X. equal to lim(/3„. Notice that the natural map Y. — > Y.{n) induces 

n 

an isomorphism sk„(y.) — > sk„(y(n).), and hence ip : Y. ^ X . is a proper 
hypercover with Y. split. The induction has already been started by setting 
y(0). equal to X. 

Now suppose that n > 1 and that Y{k). and fk have been defined for 
k < n (if n = 1, then we only need the existence of ^(0). = X.), satisfying 
conditions l)-5) above. We start by setting 

sk„_i Y{n). = skn-i Y{n - 1) . 

Following [16] 5.1.3 we know that, given a variety A^ and a map 

/3:Ar^Cosk„_i(Sk„_i(y(n)))„ 

there is, up to isomorphism, a unique split n-truncated variety V. with 
NVn = N, sk„_i(y.) = sk„_i(y(n).) = sk„„i(y(n - 1)), and (3 the re- 
striction of the natural map Vn — > cosk„„i(sk„_i(y.)) to NVn- 

Thus constructing the split n-truncated simplicial object sk„(y(n)) is 
equivalent to giving a variety Vn, and a map Vn —>■ Cosk„_i (Sk„_i y(n — 
l))n- By |7| Proposition 6.2.4, to give a map 

sk„(/„) : sk„(y(n)) ^ sk„(y(n - 1)) 

is the same as giving morphisms: 

sk„_i(/„) : sk„_i (y(n)) ^ sk„_i(y(n - 1)) 

and 

f:N^Y{n- 1)„ = Cosk^ii(y(n - 1))„ 

such that the diagram: 

N ^ Cosk„_i (y(n))n 

/ 
Cosk^^i(y(n - 1))„ Cosk„_i(y(n - 1))„ 



Cosk„_i(y(n- 1))„ Xcosk„_i{x.)„ Xn 



18 HENRI GILLET AND CHRISTOPHE SOULE 

commutes. Here vr is the projection onto the first factor in the fibre product. 
Hence the map / determines f3, the spUt object sk„(y(n)), and the map 

Let us choose N and / so that / is proper and surjective; for example, 
take / to be the identity. Having defined sk„(y(n).) we now set Y{n). = 
coskf(sk„(y(n).)). 

To define /„, observe that, by l2.lt 

Y{n - 1). = Cosk;^ii(y(n - 1).) = Cosk^(y(n - 1)). 

and so we set /„ = cosk„ ■(sk„(/„)). 

It remains to show that /„ is a proper hypercover. Since {fn)p is an 
isomorphism for p < n, we know that 

Y{n), - coskjir'^ (yH), 

is an isomorphism, hence proper and surjective for p < n. Now suppose 
p > n. 

First observe that 

Cosk„_i(y(n))„ Xcosk„_i(y(n-i))„ Y{n - l)n = Y{n - 1)„ 

since sk„_iy(n) — > sk„_iy(n — 1), and so 

Cosk„_i(y(n)) ~ Cosk„_i(y(n - 1)) . 

However, f{n)n : Y(n)n —>■ Y{n — 1)„ is proper and surjective, since /3 is 
proper and surjective, and the face (and hence also the degeneracy) maps 
of Y(n — 1) are proper by the induction hypothesis. Hence sk„ Y{n) — s- 
skn{Y{n — 1)) is a proper hypercover of n-truncated varieties (j2.14p . We 
then conclude with the following lemma: 

Lemma 2.17. Let Y. and Z. be n-truncated simplicial varieties over the 
simplicial variety X., and suppose we are given a proper hypercover f. : 
Y. -^ Z. (over X.). Then 

cosk^(y). ^cosk^iZ). 

is a proper hypercover. 

Proof. We have to prove the lifting property for all inclusions of finite sim- 
plicial sets i : A ^^ B. Suppose then that we are given a commutative 
diagram, with 5 = Spec(F) for F an algebraically closed field: 

(*) ^x5 -Cosk^(y.) 

e /^ 

Bx S ^Cosk^{Z.) 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 

This is then equivalent to giving a commutative diagram 

sk„(^) X S ^ Y. 



19 



sK{B) xS- 



-^Z. 



BxS' 



-^X. 



and hence a lifting 9 exists, since Y. ^ Z. is a proper hypercover, and 9 
defines a lifting 9 in diagram (*). To see that, for every valuation ring A, 
with fraction field F, a lifting ip exists in every diagram, with i : A ^^ B as 
above, 

A X Spec(A) UB X Spec(F) ^ Cosk;^(y.) 



B X Spec(A) ^ Cosk;f (Z.) 



it is enough to produce a lifting ip in the diagram: 

sk„(yl) X Spec(A) U sk„ S x Spec(F) p Y. 



skniB) X Spec(A) ^ Z. 



B X Spec(A) 



which again exists since Y. -^ Z. is a proper hypercover. 



^X. 



D 



Proposition 2.18. Let X. be a split simpUcial variety with proper face 
maps. Then there is a map of simpUcial varieties j. : X. — j- X. such that: 

1) For all k > 0, j^ : X^ ^^ X^ is an open immersion with X^ proper 
over S 

2) X. is split. 

Proof. We construct sk„(X.) by induction on n > 0. For n = 0, we set 
Xq equal to a "compactification" of Xq over S, which exists by Nagata's 
theorem. 

Suppose now that n > 1, and that we have constructed sk„_i(X.), to- 
gether with a map 

sk„_i(j.) : sk„„i(X) ^ sk„_i(X.) 



satisfying 1) above. 



20 HENRI GILLET AND CHRISTOPHE SOULE 

Giving sk„(X.) is the same as giving NXn and a map (5n '■ NXn — > 
cosk,i_i(sk„_i(X.))„. Since X. is split, we have maps 

Pn : NXn -^ cosk„_i(sk„_i(X.))„ 

and 

cosk„_i(sk„_i(j.)) : cosk„_i(sk„,_i(X)) -^ cosk„_i(sk„_i(X.)) . 

By Nagata's theorem, there exists a factorization of cosk„_i(sk„,_i(j.)) o/3„: 



NXn NXn 

cosk^_l(sk^_i(j)) _ 

cosk„_i(sk„_i(X.)) ^ cosk„_i(sk„_i(X.)) 

with (3n proper, and in an open immersion. 

By [16] there is then a unique spht n-truncated simpUcial variety skn{X.) 
with sk„_i(sk„(X.)) = sk„_i(X.) and NXn equal to NXn- Then, following 
[7], the composition of z„ with the inclusion NXn ^^ Nn, induces a map 

sk„(j) : sk„(X) ^ sk„(X.) 

with jn an open immersion, since it is a disjoint union of open immersions. 
This completes the induction step. D 

3. HOMOLOGICAL DESCENT 

In the following, E will be a covariant functor from the category of proper 
morphisms between schemes to the category of connective spectra. This 
includes the case of functors to the category of chain complexes of abelian 
groups concentrated in degrees > 0. 

We assume in addition that E is contravariant with respect to open im- 
mersions. We suppose that the two types of functoriality are related as 
follows: 

1. If j : f7 C X is an open subset with complement Y = X\U, then: 

E{Y) -^ E{X) -^ E{U) 

is a (co-)fibration sequence. 

2. li j : U <Z X \s an open subset, and f : Z ^ X is proper, the 
diagram: 

E{Z) ^^^ Eif-HU)) 



U (/I 

EiX) ^EiU) 

j* 

commutes. 



u) 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 21 

Properties 1. and 2. imply that if X and Y are schemes then the inclusion 
maps of X and Y into the disjoint union X \JY induce a weak equivalence 

E{X)y E{Y) ^ E{XUY). 

We also assume that E satisfies devissage: 

3. For all X, the natural map j : X —^ X from the reduced structure 
on X to X induces a weak equivalence on E. 

In this section we will prove that a functor E having properties (l.)to (3.) 
above satisfies descent with respect to hyperenvelopes. 

If in addition E is contravariant with respect to finite flat morphisms, and 
satisfies properties (4.) and (5.) below, we shall show that E, with rational 
coefficients, satisfies descent with respect to all proper hypercovers. 

4. The diagram analogous to that in item (2.) above, in which U ^ X 
is finite and flat, is also strictly commutative. 

5. If p : X — > y is finite and flat, with p*(Ox) a free Oy-module of 
rank n, then 

p,p*:E,{Y)^E,{Y) 
is multiplication by n. 

The iC-theory of coherent sheaves (G-theory), or the homology theory 
corresponding to a cycle complex in the sense of Rost, |29j . and in particular 
the homology theory associated to the Gersten complexes |11) . all satisfy 
properties (1.) to (5.). 

In the paper [l2], descent for i(''-theory with respect to hyperenvelopes 
was proved flrst for the homology of the Gersten complexes and then using 
a spectral sequence argument, for i^T'-theory. Here we shall prove descent 
for the map on homology with rational coefficients induced by an arbitrary 
proper hypercover of simplicial schemes, following the method of SGA 4 fl6\ . 

We start by extending E from varieties to simplicial varieties: 

Definition 3.1. If X. is a simplicial variety with proper face maps, and 
E is any covariant functor from the category of proper morphisms between 
schemes to the category of connective spectra, then we define: 

E{X.) := hocolimjgA°p E{Xi) . 

This is clearly covariant functorial with respect to proper morphisms be- 
tween simplicial schemes with proper face maps. 

Lemma 3.2. Let X. be a simplicial scheme with proper face maps, and 
suppose that E is any covariant frnctor from the category of proper mor- 
phisms between schemes to the category of connective spectra. Then there is 
a (convergent) first quadrant homological spectral sequence: 

Proof. This is the standard spectral sequence for hocolim [3]. D 



22 HENRI GILLET AND CHRISTOPHE SOULE 

Lemma 3.3. Suppose that E is a covariant functor from the category of 
proper morphisms between schemes to the category of connective spectra 
which takes disjoint unions of schemes to direct sums of spectra (in par- 
ticular if E satisfies properties (1.) and (2.)). Then if f,g : X. — > Y. 
are homotopic maps in the category of proper morphisms between simplicial 
schemes with proper face maps, E{f),E{g) : E{X.) — > E{Y.) are equal in 
the homotopy category of spectra. 

Proof. There is a map h : X.xA^ -^ Y. such that h\x.xO = f and h\x.xi = 9- 
It suffices to observe that the inclusions X. x {i} -^ X. x A^, for i = 0, 1, 
induce weak equivalences of S-theory spectra inverse to the weak equivalence 
induced by the projection X. x A^ ^ X.. By Lemma l3.2|, it is enough to 
check that these maps induce isomorphisms on the chain complexes obtained 
by applying the functor Eg for all q. But Eg takes disjoint unions of schemes 
to direct sums of abelian groups, and for any functor H from schemes to 
abelian groups with this property, the maps of simplicial abelian groups (for 
i = 0,l): 

H{X. X {i}) -^ H(X. X A^) ~ H(X.) ® Z(A^) -^ H{X.) 

are weak equivalences. D 

Theorem 3.4. Suppose that E is a covariant functor from the category 
of proper morphisms between schemes to the category of connective spectra 
satisfying properties (1.) to (5.). Let /. : X. — > Y. be a proper hypercover 
between simplicial S-varieties, each having proper face maps. Then E{f.)Q : 
E{X.)q -^ E{Y.)q is a weak equivalence. 

There are several steps to the proof. 

Lemma 3.5. Let p : X ^ Y be a proper morphism that admits a section 
s : Y ^ X . Then for any covariant functor E from the category of proper 
morphisms between schemes to the category of connective spectra which takes 
a disjoint union of schemes to a direct sum of spectra, in particular for any 
E which satisfies properties (1.) and (2.) above, we have that: 

cosk^(p) : E{coskl{X).) -^ E{Y) 

is a weak equivalence. 

Proof. Let Y. be the constant simplicial object [n] i— > Y. Then s induces a 
section s : Y. ^ coskg (X). of the projection coskg (p). On the other hand, 
by Lemma 12.21 s o coskg (p) = coskg [s o p) is homotopic to the identity 
and so we are done. (Note that here we do not need to assume that E has 
rational coefficients.) D 

Lemma 3.6. Let p : X ^ Y be a finite fiat morphism, such that p*(Ox) — 
Oy for some d > 0. (Note that if p is finite and fiat this will be true on a 
Zariski dense open subset ofY.) Then 

E{cosk^iX).)Q^EiY)Q 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 23 

is a weak equivalence. 

Proof. Following Lemma 13.21 it is enough to prove that, for all g > 0, 



Hp{z ^ E,{coskJ{X))Q) =. I ^^^^^^ 



0, i > 0; 

i = 0. 



Consider, therefore, the corresponding augmented chain complex C^= con- 
centrated in degrees > —1, with C„ = ii^q(cosk (X)„)q for n > 0, C_i = 
Eq{Y)Q, and differentials (5„ = Y17=o(~^yi^i)* ^^^ n > 0, where we set 
do = p : X = cosk {X)o — > cosk (X)_i = Y when n = 0. 

For all n > 0, and all i < n, one may easily check that the following 
square is cartesian, with all maps finite and flat : 

cosk {X)n+l — > cosk {X)n 

di 

cosk {X)n — ^^^^ COsk^ {X)n-l 

and hence that 

[dnTidi), = {diUdn+lT : Eg{cOs]J{X)n) ^ £;g(cOsk^(X)„). 

It is then straightforward to check that the sequence of maps, for n > — 1 : 

hn = -^ {dn+iT ■■ -E^lcosk {X)n)Q ^ -Eg(cosk (X)„+i)q 

is a contracting homotopy for the complex C=k, given that for all n > —1, 
{dn+i)*{dn+i)* : -E'g(cosk^(X)„) -^ ^g(cosk^(X)„) is (by the projection 
formula) multiplication by d. □ 

Proposition 3.7. Let p : X ^>Y he a proper surjective morphism. Then 

S(cosk^(X).)Q ^ E{Y)q 

is a weak equivalence. 

Proof. By devissage we may assume that Y is reduced. We proceed by 
noetherian induction on the closed subsets of Y . The assertion is trivially 
true if Y is empty. Now suppose that Y is non-empty, and let r/ G y be a 
generic point of a component of Y . Then there exists a point ^ € X^^ (the 
fiber over the point rf) such that the residue field k(^) is a finite extension 
of k(77). Taking the Zariski closure ^ of ^ in X, we obtain a subscheme of 
X which is finite over an open neighborhood of r/. By generic flatness, there 
is then an open neighborhood U of r/, the inverse image 1/ in ^ of which is 
finite and flat over U . Additionally, we may assume that p^,{Ov) — Ofj. 

By the induction hypothesis the assertion of the proposition is true for 
pz: Z XyX ^ Z, where Z = Y\U. 



24 HENRI GILLET AND CHRISTOPHE SOULE 

Now consider the diagram: 
E{cosk^{p~^{Z)).)Q > E{cosk^{X).)Q > ^(CoskP"'(^) ([/).) 

f 9 h 

E{Z)q . E{X)q . E{U)q. 

The map / is a weak equivalence by the induction hypothesis. Next, observe 
that: 

E{Z)q ^ E{X)q -. E{U)q 
is a fibration sequence by locahzation, and similarly, for all n > 0, 

cosk^{p-^{Z))n = cosk^(X)„\coskP"'(^)([/)„ 

and so, again by localization, we have a fibration sequence of connective 
spectra 

E{cosk^{p-\Z))n) ^ ii;(cosk^(X)„) ^ i?(coskP"'(^) ([/)„) . 

Hence, since by [4], hocolim preserves fibration sequences of connective spec- 
tra, we have a fibration sequence: 

^(coskP"'(^)(Z).)Q ^ ^(cosk^(X).)Q ^ E{coskP~"(^\u).)Q . 

Hence, in order to prove that £'(cosk {X).)q -^ E{Y.)q is a weak equiv- 
alence, it remains to show (writing Y for U and X for p^^{U)) that if 
p : X ^ y is a proper surjective morphism such that there is a finite flat 
map vr : y — > y, and a section s : V —i- X, i.e. such that p o s = it, then 
p=K : £'(cosk • {X))q -^ E{Y)(Q is a weak equivalence. 

Consider the bisimplicial scheme cosk (y).xycosk (X).. For each n>0, 
i?(cosk (V). xy cosk (X)„)(Q — > i?(cosk (X)„)(q is a weak equivalence by 
Lemma 13.51 Hence (by the homotopy colimit theorem [4J) £'(cosk (V). xy 
cosk^(X).)Q -^ £'(cosk^(X).)Q is too. 

On the other hand, for each m > 0, 

cosk^(y) Xy cosk^(X). ~ cosk=°"'^™(^)(X Xy cosk^(F)^). 

and since there is a section V ^^ X over Y, there is a section cosk^(y) = 
Hy (^) ^ X Xy cosk^(y). Therefore, the augmentation 

£;(cosk'*"(y)„ Xy cosk^(X).) -^ E{cosk^{V)m) 

is a weak equivalence (even without tensoring with Q), by 13.51 and so 
again by the homotopy colimit theorem [3], we have a weak equivalence: 
E{cosk^{V). Xy cosk^(X).) ^ E{cosk^ (V).). 

Finally, by Lemma 13.61 we know that £'(cosk {V).)q -^ E{Y)q is a 
weak equivalence, and it follows therefore that £'(cosk {X).)q -^ E(Y)q is 
too. □ 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 25 

Proof of Theorem 13. 4L Suppose that /. : X. — > Y. is a proper hypercover 
of simplicial varieties with proper face maps. By 12. H we know that the 
sequence of simpHcial varieties: 

. . . ^ cosk^-(X.) -^ cosk^Li(X.) ^ ...Y. 

satisfies properties l)-3) of Lemma 12.81 D 

Since Eg = for g < 0, it follows from the descent spectral sequence 13. 2^ 
that if p. : V. ^ W. is a proper map between simplicial varieties with proper 
face maps, and there is an n > 1 such that pi is an isomorphism for i < n, 
then Eq{V.) — > Eq{W.) is an isomorphism for q < n. It follows that for a 
given q > 0, the map 

EgiX.)^EgicoskliX.).) 

is an isomorphism once n > q. It will therefore be sufficent to show, for all 
n > 0, that 

^(cosk^-(X).)Q ^ Eicoskl_,iX.).)Q 
is weak equivalence. First we need the following lemma: 

Lemma 3.8. Let f : X . ^> Y. be a proper hypercover. Then for all n > 
and all p >0, 

{fn)p : Cosk^-(X.)p ^ Coskl_,iX.)p 
is proper and surjective. 

Proof. We have to show that {fn)p is surjective on F- valued points for all al- 
gebraically closed fields, and that the valuative criterion of properness holds. 
We shall only prove the valuative criterion, since the proof of surjectivity is 
similar, but easier. 

Suppose then that we are given a commutative square, for A a valuation 
ring, with fraction field F : 

Spec(F) ^Cosk^(X)p . 

/ {jn)p 

Spec(A) ^ Cosk^Li(X)p 

Since 

Cosk^(X)p ^ Cosk„(X)p Xcosk„(y.)p ^p 
the commutative square above is equivalent to a commutative diagram 

(sk„(AP) X Spec(F)) U (sk„_i(AP) x Spec(A)) —-p X. 

f 

sk„(AP) X Spec(A) ^ Y. 



AP X Spec(A) *- Y. 



26 HENRI GILLET AND CHRISTOPHE SOULE 

and giving the lifting j is equivalent to giving the map 6, which exists since 
/ is a proper hypercover. D 

We now have that the map 

/„ : cosk^-(X). -^ cosk^Li(X.). 
has the fohowing properties (see 12. ip 

(1) For all p, {fn)p is proper and surjective. 

(2) For p < n, (/„)p is an isomorphism. 

(3) For p > n, the natural map 

Cosk^-(X) ^ Cosk^-(Cosk^-(X)) 
is an isomorphism. 

Suppose now that n > and that f : V. ^ W. is a map of simplicial 
varieties over Y. with proper face maps satisfying (l)-(3) above. We claim 
that E{V.)q — > E{W.)q is a weak equivalence. To see this, consider the 
bisimplicial scheme: 

([A;], [£]) ^ cosk^*(Vi')fc = Ve xw^ x . . . Xw^Ve (k factors). 

By [4], we have: 

hocohm(([A;], [£]) ^ E{cosk^'{Ve)k)Q) 

~ hocolim([^] ^ hocolim([A:] ^ E{cosk^'{Ve)k)Q) 

~ hocolim([A;] —f hocolim([£] i-^ E{cosk^^{Ve)k)Q) ■ 

Since fi is proper and surjective for all ^ > 0, we have that, for all -£ > : 

E{cosk^'{Ve).)Q = hocolim([A:] ^ E{cosk^'{Vi))k)Q ^ E{Wi)Q 

is a weak equivalence (by Proposition 13. 7p . Hence the natural map from the 
first iterated hocolim to E{W.)q is a weak equivalence. 

On the other hand, consider, for a given k > 1, the face maps 

d^- : coskS^-(y.)fc = W.xvx. . .xyW. -^ coskS^-(y.)fe_i = W.Xv.x. ..Xy.W. . 

Each map d^' has a section, either sf^^ or s^'. Also, since Vp —>■ Wp is 
an isomorphism for p < n, the same is true for d- ^ . Furthermore, since 
V. —^ Coskp (y.) is an isomorphism for all p > n, it is straightforward to 
check that the same is true for Coskg '(1/.)^ instead of V. for all k. Thus, for 
i < n, the two maps sf^' d^' : Coskg '{V.)k —> Coskg '{V.)k and the identity 
are homotopic, by Lemma [2.31 Similarly, if i > 0, the maps sj_]^ d^ and the 
identity are homotopic. 

Applying the functor E, we see that E{d^')(Q is an equivalence, indepen- 
dent of i, with inverse E{s^')q and/or E(s^j^)q. It follows that the natural 
map 

V. ^CoskJf'(y.).. 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 27 

induces an equivalence on Eq, since for each q >0, 

k t—^ Eg{V. xw. X . . . xw.V.) 

fc-times 

is a constant simplicial group. Hence the map from E{V.)q to the second 
iterated hocoUm above is also a weak equivalence, and the map 

E{V.)q -^ E{W.)q 

is a weak equivalence. D 

Theorem 3.9. Suppose that E is a covariant functor from proper mor- 
phisms between schemes to connective spectra which satisfies properties (1)- 
(3) hut not necessarily properties (4) and (5). Then, if /. : X. — > Y. is a 
proper hyperenv elope between simplicial S -varieties, each having proper face 
maps, E{f.) : E[X.) — > E{Y.) is a weak equivalence. 

Proof. The proof of this result is essentially already in [12] and [13] , but for 
completeness we indicate how the proof differs from that of Theorem 13.41 
The only difference is in the proof of the analog of Proposition 13.71 which 
states that ii p : X ^tY \s ai\ envelope, then 

^(cosk^(X).) ^ E{Y) 

is a weak equivalence. As in the proof of Proposition 13. 7[ using localization 
and noetherian induction on the closed subsets of Y it is enough to know 
that for any Y there is a non-empty Zariski open subset U <ZY such that 

E{cos\i^{p-^{U)).) -^E{U) 

is a weak equivalence. However, since p is an envelope, if r/ is a generic point 
of a component of Y there is an open neighbourhood U of r] such that the 
map pu : p~^{U) — > U has a section, and hence the map above is a weak 
equivalence by Lemma 13.51 D 

4. Review of K-theory 

4.1. The homology theory associated to G-theory. As in [13], we view 
the iiT-theory of coherent sheaves as a covariant functor from the category 
of proper morphisms between schemes to the category of Waldhausen cat- 
egories (here we follow the terminology of [32], 1.2.3, rather than use the 
original terminology "category with cofibrations and weak equivalences"), 
by sending X to the category of bounded below complexes of flasque sheaves 
of Ox-modules which have bounded coherent cohomology; see op. cit. 3.16. 
Indeed this is a strict functor, and composing with the /f -theory spectrum 
functor, we get, as in [inj, a covariant functor from the category of proper 
morphisms between S'-schemes to the category Spectra of symmetric spec- 
tra of [19]. We then compose with the Q-localization functor (smash product 
with the Eilenbarg-Maclane spectrum -ffQ) Spectra -^ Spectra^, to ob- 
tain the ET-theory functor that we will use: X. i-^ G{X.) € Spectra^. Note 



28 HENRI GILLET AND CHRISTOPHE SOULE 

that we are following Thomason's notation (G-theory) , rather than Quillen's 
(ET'-theory). 

Since we also want G-theory to be contravariant with respect to flat (and 
in particular etale) morphisms, it will be important to consider our com- 
plexes of sheaves to be sheaves of Ox-modules in the fppf topology. Since 
being flasque is compatible with flat base change, the resulting Waldhausen 
category is equivalent, and hence has the same G-theory, as the category of 
complexes of sheaves in the Zarisksi topology. 

We extend the G-theory functor first of all to the category of (degreewise) 
proper morphisms between simplicial schemes with proper face maps by 
taking the homotopy colimit of the associated simplicial spectra. We may 
then extend one step further to the category Ar(sP) with objects proper 
morphisms f.:Y.^ Z. between simplicial simplicial schemes with proper 
face maps, and morphisms {gY,gz) : (/i : ^i — * ■2^i) — ^ (/2 : ^2 —^ -^2) pairs 
of proper maps such that gz ° fi = f2 ° gr, by setting G(/. : Y. -^ Z.) := 
Cone(G(/.)). 

From theorem 13.41 we have: 



Theorem 4.1. Let f.:X.^ Y. be a morphism between simplicial simplicial 
schem,es with proper face maps which is a proper hypercover. Then G{f.) is 
a weak equivalence. 

4.2. G-theory of stacks. 

Definition 4.2. If X is a stack, we define the G-theory spectrum G(X) 
to be H(5t(X, G), where G is the presheaf of (Q-localized) spectra on the 
etale site induced by the functor G. See [13], though here we are using the 
hypercohomology of (pre-)sheaves of spectra in the sense of [20j . 



It follows from etale descent for rational G-theory (due to Thomason, 
(Theorem 2.15 of [31j) that this definition is consistent with the definition 
for schemes. In particular, we have: 

Lemma 4.3. If n : V. ^ X is an etale hypercover of a Deligne-Mumford 
stack, the natural map: 



G(X)^holimi(G(KO) 



is a weak equivalence. 



Lemma 4.4. Let ^ be a closed substack of the stack X, with complement 
ii. Then there is a fibration sequence 

G(2)) ^ G(X) ^ G(il) 

in which i : 2) — > X and j : it ^ X are the inclusions. 

Proof. Since G(X) is the hypercohomology Rr(X, G^) of the presheaf G^ : 
V I— > G{V) on the etale site of X, it suffices to observe that for each etale 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 29 

morphism p :V ^ X from a scheme V to X, we have a locahzation fibration 
sequence 

G{V xxV) ^ G{V) ^ G{V xxii) 
and hence an isomorphism 

R,r2)(G) ~ iif Gsj) . 

Note that this also follows easily from the previous lemma and the fact that 
Holim preserves fibration sequences. D 

The functoriality of G for morphisms of stacks is a more complicated 
question. In [13j pushforward maps were only constructed for proper repre- 
sentable morphisms of stacks. However we may replace stacks by simplicial 
varieties, as follows: 

Let J? : X. — > X be a proper morphism to a stack from a simplicial variety 
with proper face maps. Let vr : K — > X be an etale hypercover of X, such 
as the nerve Coskg (y) of an etale presentation y — > X. Then we have a 
commutative square: 

X. ^-^— X. xxV. 



V. 



For each i, since X. x^ ^ — > V^ is proper, we have a map 

G(X x^Vi) = hocolimj(G(Xj x^Vi)) -^ GiVi) 

which is contravariant with respect to i (since we have constructed G to be 
strictly compatible with flat base change). Therefore, we get a diagram: 

G(X) -^^ holimiG(X x^V^) 

V* 

G(X) -^^ holimi(G(y.)) 

in which the bottom horizontal arrow is a weak equivalence. Hence we get 
a map (up to homotopy) p* : G{X.) — > G(X), which it is straightforward 
to check (again using the fact that G is strictly compatible with flat base 
change) does not depend on the choice of etale hypercover vr : F. — > X. 
Furthermore, if /. : y. — > X. is a map of simplicial varieties, using the fact 
that push forward commutes with flat base-change, we have that 

(P • /)* =P*-h: G{Y.) ^ G(X) 

in the rational stable homotopy category. 

In order to show that this construction gives an extension of G-theory 
from simplicial varieties to stacks, we need: 

Lemma 4.5. Suppose that p : X. ^ X is a proper hypercover. Then p* : 
G{X.) -^ G(X) is a weak equivalence. 



30 HENRI GILLET AND CHRISTOPHE SOULE 

Proof. Since both the G-theory of X. and of X are compatible with local- 
ization, we may proceed by noetherian induction on X. By Proposition 11.31 
every Deligne-Mumford stack has a non-empty dense open set which is a 
quotient stack. It therefore suffices to show that if j£ = [V/T] for F a finite 
group, then G{X.) -^ G{X. xxCoskg (V)) is a weak equivalence. However 
Coskg {V)) is just the bar construction {E.T x V)/T for the action of T on 
V, hence 

X. xxCosk^(F) ~ (^.r X (X xxV))/r . 

It is then straightforward to check, since we are taking G-theory with ratio- 
nal coefficients, and since for each j, Xj XxV ^ Xj is a finite etale Galois 
cover with group T, that 

holimj(j ^ GiEjF X {Xj XxV))/r) 

is simply the F-invariants of G{X. x^V) and the map 

G(X) ^ holimj(i ^ GiEjF x (Xj xxV))/r) 

is a weak equivalence with inverse induced by the transfer G{X. XxV) ^ 
G{X.) (divided by the order of T). D 

Theorem 4.6. Let / : X — > 2) be a proper, not necessarily representable, 
morphism of stacks. Then there exists a canonical map (in the homotopy 
category) 

G(X) ^ G(2)) 
with the property that for any commutative square: 

X. — ^ Y. 



f 



2) 

in which p. and q. are proper morphisms with domains simplicial schemes 
with proper face maps, we have a commutative square in the stable homotopy 
category: 

G{X.) -^ G(y.) 



G(p.) 



G(g.) 



G(X) -^^ G(2)) 

Proof. To define the map /* : G(X) -^ G(2)), pick any proper hypercover 
p : X. — > X, and set /* = (/ -p)* • {p*)^"^ . Since p* is functorial with respect 
to p : X. —> X, the map /* does not depend on the choice of p. Given a 
commutative square as above, the fact that associated square of G-theory 
spectra is also commutative is a consequence of the same functoriality for 
simplicial schemes over 2). D 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 31 

Definition 4.7. We shall call a morphism of stacks / : X ^ 2) a G- 
equivalence if G(/) is an equivalence. 

Theorem 4.8. If X is a stack, the natural map X -^ \X\ from the stack to 
its coarse moduli space is a G- equivalence. 

Proof. Assume G is a finite group acting on some affine scheme U, and 
H C G is a normal subgroup acting trivially on U and such that G/H acts 
freely on U. A standard transfer argument shows that the map G{[U/G]) — > 
G{U/G) is an equivalence. Since every stack has a dense open subset which 
is of this type one can use localization and noetherian induction to conclude 
the proof. D 

5. Weight complexes for varieties and stacks 

5.1. Introduction. In this section we prove the extension of the main the- 
orem of [14J for varieties and stacks over S, where 5 is a base scheme sat- 
isfying the conditions of the introduction. In particular, this includes the 
cases S = Spec(OA') for Ok the ring of integers in a number field, and 
S = Spec(A;) for k a field of characteristic different from zero. 

As in section 5 of op. cit. we shall use iCo-™otives (but with rational 
coefficients) rather than Chow motives. (Manin, in [25], seems to have been 
the first to mention using i^o-n^otives.) The proofs in this section are often 
variations on those in |14j, but we shall give proofs again where the current 
situation merits it. 

5.2. iCo-correspondences. 

Definition 5.1. If X and Y are regular, projective, ^-varieties, we will write 
KGsiX,Y) for Go{X XsY)q, and call it the group of "ii'o-correspondences 
from X to y" . 

Note that X XsY is not in general regular; however since Y is regular, 
Oy is of finite global tor-dimension, and hence there is a bilinear product, 
given X, Y and Z regular, projective, S'-varieties : 

* : Go{X xs Y) X Go{Y xs Z) ^ G^{X xs Y xg Z) 

i>0 

Composing with the direct image map {pxz : X x sY x z Z ^^ X x s Z being 
the natural projection): 

{pxzh ■■ Go{X Xs YxsZ)^ Go{X xs Z) 

we get a bilinear pairing: 

Go(X Xs Y) X Go{Y xs Z) ^ Go{X xs Z) 

and hence: 

KGs{X, Y) X KGsiY, Z) ^ KGs(X, Z) . 

The proofs of the following lemmas are straightforward so we omit them. 



32 HENRI GILLET AND CHRISTOPHE SOULE 

Lemma 5.2. Given regular varieties X,Y, Z and W projective over S, and 
elements a G KCs{X, Y), j3 (^ KCs{Y, Z), 7 G KCs{Z, W) we have 

7 o (/3 o a) = (7 o /3) o a . 

Given a morphism / : X — > K of regular varieties, projective over S*, with 
graph T/ C X X5 y, we write r(/) for the class [C'r(/)] G KCs{X, Y). 

Lemma 5.3. If f : X ^ Y and g : X ^ Y are morphisms of regular 
varieties, projective over S, we have 

r{gof) = Tig)oT{f). 

Furthermore, if X and Y are regular projective varieties over S, and a G 
KCsiX, Y), then T{1y) o a = a o r(lx) = a. 

Definition 5.4. We write KCs for the category with objects regular pro- 
jective varieties over S, and homsets the KCs{X,Y) for X and Y objects 
in KCs, and identity r(lx) G KCs{X,X) for each X. 

Clearly F is a covariant functor from the category of regular projective 
varieties over S to the category KCs- Note that KCs is a Q-linear category. 

Observe that T extends to a functor from the category of simplicial vari- 
eties which, in each degree, are regular and projective over S to the category 
of chain complexes in KCs by associating (in the usual fashion) to X. the 
complex 

n 1-^ T{Xn) 

n 

with differential X^ (-l)^(di)* : r(X„) ^ r(X„_i). 

i=0 

Lemma 5.5. The functors Gi for i > 0, where Gi{X) is Ki of the category 
of coherent sheaves of Ox modules, factor through T . 

Proof. Give a G KCs{X,Y), we need to define Gi{a) : Gi{X) -^ Gi{Y). 
We start by observing that for X regular, Ki{X) ~ Gi{X), and so if px • 
X XsY ^ X and py '■ X 'XgY ^>Y are the projective, we can define 

Gi{a) : X 1-^ PY*ip*xix) n a) 

where 

n : K,{X xsY)(^ Go{X xgY)^ G^{X Xs Y) 

is the natural cap product. 

Let Z he a regular projective variety and (3 G KCs{Y, Z). We want to 
show that 

(B). Giip) o G^ia) = G^ip o a) . 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 



33 



Consider the diagram of maps 

XxsYxsZ 
q 
YxsZ 





X XsZ 




Z X 

X the obvious projection. If a; G Ki{X) we 

= qz*iQYiPY*ip*xix)r)a))np) 



X Y 

and call u: XxsYxsZ^ 
have 

Gi{/3) o Gi{a) {x 
and 
G^{/3oa){x)= rz*(r^(x)n(r, (a */?))) 

= rz*{r^{u*{x) n {a * 13))) (projection formula for r) 

= qz*q*iu*{x)ri{a* P)) . 

Letting (^ = p'^{x), it is enough to show that 
(A) q*Y{PY*{^ na))ni3 = q.{p*{0 n (a * /?)) . 

Let J-"' be a complex of coherent sheaves on X x^y which is acyclic with 
respect to py and represents a G Go{X xgY). For any locally free sheaf £" on 
X xgY, the complex £®!F' is still acyclic with respect to py and its derived 
direct image by pY is py*{£ <8) -^')- On the other hand, let Z C P§ be a 
projective embedding of Z and Q' a complex of coherent sheaves on Y x^P^ 
which is flat on Oy and acyclic outside Y Xs Z, and which represents (3 in 
the iT-theory with supports 

kI'''\Yxs^'I) = G^{YxsZ). 

Let qY : Fx^Pf ^Y,q: XxsYxsF^ -^ YxgF^ andp : XxsYxgF^ -^ 
X XsY he the obvious projections. By flat base change we know that 

qY{pY*{£ ® r)) = q^p*{£ (g) r) . 

Therefore, by the projection formula for q, and since Q is flat over Oy, 



qUPY*{£^r)) 



C,, 



g- 



%{p*{£®r\ 



<s^^ 



C, 



''(Gl) 



<s^f 



Up*{£)^p*{n^rm)- 

The functor £ i-^ ^y (py*(6'(X).?^'))'^^ induces the map ^ i-^ 9y (py*(Cna))n/9 
on higher X-theory, and the functor 

£^Up*i£)^p*i^')^q*ig')) 

induces the map ^ i-^ q*ip*{0 n (a * /3)). Therefore (A) and (B) follow. □ 

Definition 5.6. We set KM^ equal to the idempotent completion of KGs- 
Note that these are homological motives. 



34 



HENRI GILLET AND CHRISTOPHE SOULE 



The proof of the following theorem, given Lemma [5. 51 is the same as that 
of Theorem 6 of [14] (which itself is a variation of Theorem 1 of op. cit.): 

Theorem 5.7. Let 




he a commutative square of m,aps between sim,plicial objects in the category 
of regular projective varieties over S. Suppose that for all regular projective 
varieties V over S, the associated square of spectra: 

G{VyisX.) ^G{V^sY.) 



G{VxsZ.) 



G{V >csW.) 



is homotopy cartesian. Then the associated square of complexes in KCs 
is homotopy cartesian, i.e., the associated total complex is contractible, or 
equivalently the natural map Co\ie{r ^{g .)) — > Cone(r*(/.)) is a homotopy 
equivalence. 

5.3. Weight complexes for simplicial varieties. Following section 2.2 
of [Hj, we write Ar(Ps) for the category of morphisms in Pg, where Ps 
is the category of proper, not necessarily regular 5-varieties, with objects 
/ : y ^ X, and morphisms g ■ f ^ f commutative squares : 



y 



/' 



-X' 



9Y 



9x 



Y 



X 



We can also consider the category AT:{Pg 
objects on Pg. A morphism 



A°P^ 



of arrows between simplicial 



g. ■■ {Y' 

lied a p] 
hypercovers. We have a functor 



/.' 



X') -^ [Y. -^ X. 



in Ar(P^°'^) will be called a proper hypercover if both gy. and gx. are proper 



r, : AiiRPf) -^ C^KCs) 

from the category of arrows between simplicial regular projective varieties 
to the category of chain complexes in KCs, 

r,:(/.:X^y.)^Cone(r, (/.)). 

We shall now show, following op. cit., that this functor induces a functor 
from Av{Pg) to the homotopy category of C^{KCs). 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 35 

Theorem 5.8. The functor 

AviRPf) ^ HoiCiKCs)) 

/•^ r,(/.) 

has a unique extension to Ar{Pg ) with the property that proper hypercovers 
map to homotopy equivalences. 

Proof. The proof is the same as in |14j, § 2.2, using Theorem 1 1 . 71 instead of 
Hironaka's resolution of singularities. The theorem is also Theorem 5.3.c) of 
[21], apphed to Z)°p the category Pf, to C°p the full subcategory i^P^°^ 
to S the category of proper hypercovers, and to £■ = A^. (Note that Theo- 
rem 5.3 in [21] was partly inspired by [14j.) D 

We shall call a morphism g. in Ki{Pg) a universal G-equivalence if 
after multiplying all schemes involved by any regular projective variety V , 
the corresponding square of spectra obtained by applying Gq is homotopy 
cartesian. Theorem 15.71 tells us that if g. is a universal G-equivalence and 
all schemes involved are regular then T^{g.) is a homotopy equivalence. 

Using Theorem 1 and the same proof as in [H], end of § 2.2, we get 
from this that if g. is a universal G-equivalence among arbitrary projective 
schemes, then T^{g.) is a homotopy equivalence. 

Theorem 5.9. There is a covariant functor 

h-.Varf ^Ro{C,{KCs)) 

from the category of simplicial varieties over S with proper face maps and 
proper morphisms to the category of homotopy classes of maps of complexes 
of Ko-motives over S with rational coefficients, satisfying the following prop- 
erties: 

i) //, for all n >0, Xn is a regular projective scheme over S and h{Xn) 
is the usual motive of Xn, h{X.) is the complex of motives 

n 

...^h{Xn) '^'-^ h{Xn-l)^... 

ii) IfU.cX. is a strongly open simplicial subvariety of X. with proper 
face maps and with complement T., then we have a triangle 

h{T.) -^ h{X.) -^ h{U.) -^ h{T.)[l\ . 

iii) // X. -^ Y. is a proper hypercover, the induced map h{X.) — > h{Y.) 
is a homotopy equivalence. 

Proof. Let X. be a simplicial variety over S with proper face maps. Accord- 
ing to Proposition 12.16) there exists a proper hypercover X. — > X. with X. 
a split simplicial variety. By Proposition 12.181 X. admits a compactification 
X. with complement X.\X.. Let h{X.) be the image in Ho{Ctf{KCs)) of 
the arrow X.\X. -^ X. (Theorem 15. Sp . We claim that h{X.) is functorial in 
X. and does not depend on the choices made to define it. 



36 



HENRI GILLET AND CHRISTOPHE SOULE 



Indeed, let / : X. — > y. be a map in Var^ and X. —>■ X. and Y . — s- 
Y. proper hypercovers admitting compactifications X. and Y .. The fiber 
product X. y.Y.Y . has a compactification X. x Y. which is the Zariski closure 
oi X. xy Y . in X. 'KgY .. Then we get two commutative squares 



X. X Y.\X. X Y. ^ X. X Y. 



X.\X. 



-^x 



and 



X. X Y.\X. X Y. ^ X. X Y. 



^Y. 



Y.\Y. 

the first of which is a universal G-equivalence. Hence we get a map 

hif) : h{X.) = T,{X.\X. ^ X.) ^ T,{Y\Y. ^ Y .) = h{Y.) . 

When X. = Y. and / is the identity, both squares above are universal G- 
equivalences and it follows that h{X.) does not depend on choices made to 
define it. 

Assume now that / : X. — > y. and g : y. — > Z. are proper maps of 
simplicial varieties. Then the same argument as in |14j, §2.3 (except that 
we replace "Gersten acyclic" by "universal G-equivalence" ) shows that h{g)o 
h{f) = h{g o /), i.e. h{X.) is functorial in X.. 

When every Xn is regular and projective over S, n > 0, we can take 
X. = X. = X., so Property i) is clear. 

To check ii), let X. be a proper hypercover of X., with compactification 
X.. Let U. (resp. T.) be the inverse image of U. (resp. T.) in X . and define 
Y. = X.- X., Z. = X.- U.. We have inclusions Y. ^ Z. ^ X.. Consider 
a proper hypercover of this diagram 

y. ^Z'. ^X'. 



Y. 



Z. 



X. 



with y, Z' and X' in RPs- We get a triangle 

r*(y' ^ z') -^ r,(y' ^ x') -^ v^{z[ -^ x') 



r,(y'^z.')[+i]. 



Since Z\Y. = T. and X. is a compactification of both X. and [/., using 
Theorem 15. 8t we can write this triangle as 



h{T.) -^ h{X.) -^ h{U.) -^ h{T.)[l] . 

Finally, to check iii), if / : X. — > y is a proper hypercover, X. -^ X. 
a proper hypercover and X. a compactification of X., we notice that the 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 37 

composite map X. ^ y. is a proper hypercover so that hiY.) = r*(X.\X. — ;- 
X.) = h{X.). 

5.4. Weight complexes of stacks. We now prove Theorem 10.11 of the in- 
troduction. Given a stack X and X. ^ X a proper hypercover by a simphcial 
variety we define h{X) = h(X.). 

Let / : X ^^ 2) be a proper map of stacks and X. — > X and 1". — > 2) 
proper hypercovers of these. According to Lemma 12.151 the induced map 
X. x<g Y. ^ X. is a proper hypercover. Therefore, by Theorem 15.91 iii). we 
get a map 

h{f) : h{X) = h{X.) = h{X. X25 Y.) ^ h{Y.) = /i(2)) . 

If 5 : 2) ^ ^ is a proper map of stacks one easily checks that h{g o /) = 
h{g) o h{f). When / = idx we get h{f) = id/j(x)) ^-e- h{X) does not depend 
on the choice of X. . 

Remark 5.10. If X is a stack, then for any variety (and hence for any simph- 
cial variety) X, IIoms(X, X) is a groupoid. If / : X' ^ X and g : X" -^ X 
are two proper hypercovers, then an isomorphism 9 : f ^ g induces a sec- 
tion e : X' ^ X'. xx X" of the projection p' : X' xx X" -> X' and hence 
the map h{X') -^ h{X',') induced by 9 coincides with the homotopy equiv- 
alence h{p") h{p'.)~^, where p" : X'. Xx X'.' -^ X" is the second projection. 
Therefore the functor X -^ /i(X) from the 2-category of stacks to the cate- 
gory of homotopy classes of maps between complexes of motives maps each 
2-morphism to the identity. 

If 2) C X is a closed substack with complement it and if X. — > X is a 
proper hypercover, U. = f~^{ii) is strongly open in X. with complement a 
proper hypercover of 2). Therefore Theorem 15.91 ii) gives a triangle 

If G is a finite group acting on a regular projective scheme X, and [X/G] 

the quotient stack, a proper hypercover of [X/G] is the simplicial scheme 

\X/G] 
Coskp {X), which is isomorphic to {X x EG)/G, where EG is the stan- 
dard contractible simplicial set with free action of G. In degree k > 1 we 
have 

h{X xG^)= e h{X) 

(Si,...,gfc)GGfe 

and so h{[X x EG)/G) is the chain complex computing the homology groups 
H^{G,h(X)) in the Karoubian category of motives. Since the order of G 
is invertible, this homology vanishes except for HQ{G,h{X)) = /i(X)*^, the 

image of the projector -^^^ J2 9*- 

g&G 
To check that h{X) is homotopy equivalent to a bounded complex we first 
need a lemma. 

Lemma 5.11. /// : X ^ 2) is a finite, representable radicial map of stacks, 
the induced m,ap G(X) —^G{^)isa weak equivalence. 



38 HENRI GILLET AND CHRISTOPHE SOULE 

Proof of Lemma. Let 1". — > 2) be a proper hypercover of 2). Since / is 
representable, X. : X X(g y. is a simplicial scheme and the natural map 
X. ^ X is a proper hypercover. Let g : X. ^ Y. he the induced map. 
Since / is finite and radicial each gi : Xi ^ Yi is finite and radicial and 
so (|28j) gi^ : G(Xj) -^ G(l^) is a weak equivalence. Taking homotopy 
colimits we get that g^: : G{X.) -^ G{Y.) is a weak equivalence, and by 14.61 
G(X) ^ G(2)) is a weak equivalence. D 

To prove that h{X) is bounded we can assume, by noetherian induction, 
that X is irreducible. By Proposition 11.31 there is a dense open il C X 
which is a quotient stack and, by noetherian induction, we just need to 
show that h{ii) is bounded. The quotient stack il admits some equivariant 
compactification (Lemma II. 4p [V^/G] = V proper over S. By induction 
on dimension it is enough to show that R{V) is bounded. By resolution 
of singularities (Theorem II. 8p there exists a proper morphism of quotient 
stacks 

p : [Y/H] -^ V 

where Y is regular and integral and a dense open substack W C V such 
that the induced map p~^{W) — > W is representable and radicial. We 
need to show that h{V) is bounded i.e., again by induction, that h(W) 
is bounded. From the previous lemma, p^^{W) ^ W is a universal G- 
equivalence, therefore /i(W) = h{p~^(W)). But, since Y is proper and 
regular h{[Y/H]) is bounded hence, by induction on dimensions, h{p~^{}V)) 
is bounded. 

This ends the proof of Theorem 10.11 D 

Corollary 10.21 follows from Theorem 10.11 be letting XciX) be the class in 
i^o(KM5') of the complex h{X) (compare Ll4j, Lemma 3 and Theorem 4). 

5.5. Chow motives. If 5 = Spec(A;) with k a perfect field (of arbitrary 
characteristic), there are three possible categories of motives that we could 
consider: 

(1) The category KMfc of -fCo-™otives over Spec(A;). 

(2) The category CHM^ of effective Chow motives over Spec(fc), which 
is the pseudo-abelian completion of the additive category in which 
morphisms are degree zero correspondences, modulo linear equiva- 
lence, between smooth projective varieties over k, as in section 5 of 
[25]. 

(3) The category CHM^ which is the pseudo-abelian completion of the 
additive category in which morphisms are all correspondences, mod- 
ulo linear equivalence, between smooth projective varieties over k. 

We can also take any or all of these categories with rational coefficients, 
getting categories KMjtQ, CHM^q and CHM^q. 

Remark 5.12. If we do not assume that k is perfect then we should take 
the category of all regular projective varieties over k. We can still define 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 39 

CHM^ and CHM^ as above. Since the product of two regular varieties 
will no longer necessarily be regular the composition of correspondences is 
harder to define. 

For any smooth variety V over k the Chern character ch : Kq^V) — s- 
CH*(y)(Q induces an isomorphism ch : Kq{V)q — s- CH*(y)Q. Therefore, 
given varieties X and Y, the map: 

t:Ko{XxY)q -^ CR*iXxY)Q 

a ^ ch{a)p*Y{Td{Y)) 

where py : X x Y ^ Y is the projection onto the second factor, is an 
isomorphism of Q- vector spaces, since the Todd genus is a unit in the Chow 
ring. 

Suppose that a G Ko{X x Y) and (3 G Ko(Y x Z) are /fo-correspondences 
from X to Y and from Y to Z respectively. Then, by the Grothendieck 
Riemann-Roch theorem, [3], we have: 

T{P-a) = ch{pxz*{p*xYic^)P*Yzm)P*ziT'^iZ)) 

= pxz*ichip*xYic^)p*YzmPYiT'diY))p*z{Td{Z))) 
= Pxz*{P*XYcHa)p*YzchiP)p*Y{Td{Y))p*z{Td{Z))) 

= PXZ*{p*XY'T{a)P*YZ'T{l3)) 

= r(/3)-r(a). 

Therefore r is compatible with composition of correspondences, and hence 
gives an isomorphism of categories: 

KMfcQ ^ CHMfeQ. 

If / : X — > y is a morphism, and ^j : X ^f X xY \s the induced map, 
which is an isomorphism onto the graph r(/) of /, since the normal bundle of 
r(/) d X xY \s isomorphic to f*(TY) (the pull back of the tangent bundle 
of Y), the Grothendieck Riemann-Roch theorem for 7^ gives r([C'p('/-)] = 
[r(/)], and so the functor r respects the natural functors from the category 
of smooth projective varieties to the two categories of motives. 

Since the functor r is an isomorphism, we have have an isomorphism: 

Ko(KMfcQ) ^ Ko(CHMfcQ). 

Since the degree zero correspondences from XtoY are a subgroup of the 
group of all correspondences from X to Y, and the inclusion is compatible 
with composition, we get a functor CHM^ -^ CHM^. This functor pre- 
serves idempotents and is therefore exact, and so induces a homomorphism 
on the associated Grothendieck groups: 

KoiCUMl) ^ Ko(CHMfc). 

From Corollary 10.21 and the isomorphism KoCKNlkQ) -^ KQ^CHWlkQ), 
we get: 



40 HENRI GILLET AND CHRISTOPHE SOULE 

Corollary 5.13. Given any reduced variety X over k one can define an 
element Xc{X) G iro(CHMfcQ) in such a way that 

i) If X is smooth and projective, XciX) is the class of {X,Ax), where 

Ax is the diagonal in X x X . 
ii) If Y C X is a closed subset, the equality 

Xc{X) = Xc{Y) + Xc{X \Y) 

holds in iv:o(CHMfcQ). 

One can also prove the existence in Kq{C'H.'WvIq) of an Euler character- 
istic satisfying i) and ii) above (and mapping to Xc{X) in A'cICHM^q)) 
by using the method of p^. Indeed Theorem 13.41 above shows that if 
f. : X. ^ Y. is a proper hypercover between simplicial varieties having 
proper face maps, the induced map of Gersten complexes tensored with Q 
is a quasi-isomorphism. If we use this fact instead of Proposition 1 in [14] , 
the whole argument in op. cit. remains valid (after tensoring with Q) and 
the existence of an Euler characteristic in ii'o(CHM^Q) follows as in |14j . 
Theorem 4. When k has characteristic zero, this Euler characteristic is the 
image of the Euler characteristic in i^o(CHM /c) constructed in [T3], |17j . 

m- 

5.6. A variant. Let £ be a prime integer. 

Definition 5.14. Ii f : X ^ Y is proper and surjective morphism, we say 
that / is an ^'-envelope if, for every point y G Y, there is an a; G X s.t. 
f{x) = y and k{y) C k(x) is a finite algebraic extension of degree prime to 

e. 

It follows from a result of Gabber [8] that if X is an irreducible reduced 
separated scheme flat and of finite type over Spec(i?), for R an excellent 
Dedekind ring with i invertible in R, there exists an -^'-envelope X' ^ X 
with X' regular. 

If V is the class of ^'-envelopes; then V satisfies the conditions of §2.2, 
and so we can talk of a map f.:X.^> Y. of simplicial schemes being a 
"hyper ^'-envelope" . One may then show, by the methods of section [3.41 
that any homology theory E on the category of varieties taking values in 
the category of spectra, localized away from £, satisfies descent with respect 
to hyper ^'-envelopes, and that one has a functor, for S = Spec(i?) 

Stacks ^ Ro{C^{KCs;Z(^e))) 

from the category of Deligne-Mumford stacks of finite type over S to the 
category of homotopy classes of complexes of i^o-motives over S with Z(£\- 
coefficients with the properties of Theorem 10.11 except that we do not know 
if it takes values in the subcategory of complexes homotopy equivalent to 
bounded complexes. 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 41 

6. CONTRAVARIANCE OF WEIGHT COMPLEXES 

6.1. A Category of complexes of sheaves. In this section V will be the 
category of varieties (= reduced separated schemes of finite type) over a field 
k. 

Definition 6.1. If X is a variety, we say that a quasi-coherent sheaf J- on 
X is strongly acyclic if for every morphism of varieties f : X ^>Y and every 
quasi-coherent sheaf Q of Ox-modules, 

for j > 0. We say that J- is universally strongly acyclic, if for every morphism 
of varieties / : X ^ y, all morphisms Z ^ Y , and every quasi-coherent 
sheaf Q of O^xyX-modules, 

where fz is the base change of / by the morphism Z ^>Y . 

The example that we have in mind is: 

Lemma 6.2. If j : U = Spec(A) ^^ X is an affine open subset, and if 
T = 2*^ J for M the quasi- coherent sheaf of Ou-modules associated to the 
A-module M , then T is universally strongly acyclic. 

Proof. First of all observe that since varieties are separated, any morphism 
g : U ^ Y of varieties with affine domain is an affine morphism, and so 
EJ'gif{M) = for z > 0. It then follows by a standard spectral sequence 
argument that J*M is acyclic with respect to any morphism f : X ^Y . 

Furthermore, if t/ is a quasi-coherent sheaf on X, then j*Q is quasi- 
coherent (= QiJJ))., and 

We see, therefore, that M is strongly acyclic. Finally, \el f : X ^> Y and 
Z ^ Y he morphisms of varieties; since higher direct images with respect 
to 

fz-.ZxyX^Z 

can be computed locally on Z, we may suppose that Z is affine. But then 
(separation again!) Z Xy [/ is an affine open subset of Z Xy X and writing 
jz '. Z Xy U ^ Z Xy X for the inclusion, we have: 

j^M®Ox Oz^yX ^ {3z)*{M®Ou OzxyU)- 

But M ®Ou OzxyU is again a quasi-coherent sheaf on an affine open, and 
so j*{M) i^Ox ^ZxyX is strongly acyclic. Thus j*M is universally strongly 
acyclic. 

D 

Note also, that by a standard spectral sequence argument: 



42 HENRI GILLET AND CHRISTOPHE SOULE 

Lemma 6.3. If f : X ^ Y is a morphism, and!F is a strongly acyclic (resp. 
universally strongly acyclic) quasi- coherent sheaf of Ox-'fnodules, then f^T 
is strongly acyclic (resp. universally strongly acyclic). 

Given varieties X and Y, we let C{X,Y) be the following Waldhausen 
category (also referred to as a category with cofibrations and weak equiva- 
lences, but here we follow the terminology of |32j). 

The objects of C{X,Y) are bounded complexes of J* of quasi-coherent 
Oxxy-modules, such that 

• each 5^* is flat over X; 

• the cohomology sheaves of ^' are coherent with support proper over 
Y 

• each 5^* is universally strongly acyclic. 

The cofibrations in C{X,Y) are the monomorphisms ^' -^ Q' with cokernel 
in C(X, y), and the weak equivalencies are the quasi-isomorphisms. 

Lemma 6.4. 

1) Let f : X' ^ X be a morphism of varieties and T' an object in 
C{X,Y). Then (/ x ly)*(J^) lies in C{X',Y). 

2) Let p : Y ^ Y' be a proper morphism of varieties. Then (Ix x 
p)*ir) lies inC{X,Y'). 

Proof. The first assertion is a basic property of sheaves of flat modules. 
Turning to the second assertion, given the previous lemma, we need only 
show that {Ix x p)^,{J^') is Ox-flat. IfO^^— >;B^C^Oisan exact 
sequence of Ox-modules, then -^ A®Ox -^ ~^ B(dox -^ ~^ C(^Ox J^ —^ 
is exact. By universal acyclicity, the push forward of this sequence is still 
exact, and hence (Ix x p)^:(T') is still Ox-flat. D 

By the hypothesis on the objects in C{X,Y), both p^ and /* are exact 
functors preserving weak equivalences. Furthermore, we can rigidify these 
categories by choosing inverse images with respect to all / : X' ^ X. Direct 
images are already "rigid" , and so we get a functor 

V°P X V ^ Waldhausen Categories 

{X,Y)^ C{X,Y) 

If X is a variety, let us write C{X) for the Waldhausen category of com- 
plexes of quasi-coherent sheaves of Ox-modules with bounded coherent co- 
homology, and weak equivalences given by quasi-isomorphisms. Recall [32] 
that the i^-theory of this category is naturally isomorphic to the G-theory 
of X. 

If X and Y are varieties, and p : X xY ^ X and q : X xY ^ Y are the 
projections, observe that if !F' is an object of C{X,Y), then 

defines an exact functor 

c(x) ^ c(y) 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 43 

and furthermore it is straightforward to check: 
Lemma 6.5. 

c(x) X c{x,Y) ^c(y) 

is a bi-exact functor. 

Equivalently, we have an exact functor from C(X,Y) to the exact cate- 
gory Exact(C(X),C(y)) of exact functors from C{X) to C(y). Not sur- 
prisingly, we have a composition law on the categories C{X,Y), which it is 
easy to see is compatible with composition: 

Exact(C(X),C(y)) X Exact(C(y),C(Z)) -^ Exact(C(X), C(Z)) . 

Lemma 6.6. Given a triple of proper varieties X, Y , Z , then we have a 
hi- exact functor: 

7x,y,z : c (X, y ) X c (y, Z)^ C{X,Z) 

where p : X xY x Z ^ X xY , q : X xY x Z ^ Y x Z , andr : X xY x Z ^ 
X X Z are the projections. Furthermore, given four varieties we an obvious 
isomorphism, 

lx,z,w ■ {lxx,z X Ic{z,w)) — ixy.w ' (-^c(x,y) x 1y,z,w) 

Proof. It is a straightforward exercise using the definition of C(X, y) to 
check both that r^{p*{Q') ®Oy Q*{^)) is indeed an object in C{X,Z) and 
that jx,Y,z is biexact. D 

6.2. Enriching the category of varieties over the category of chain 
complexes. It will be convenient to work not with i^-theory spectra but 
with chain complexes which compute rational iT-theory. Recall that if A 
is a spectrum, then 7r^,(A) (g) Q ~ H^{A,Q). If £ is an exact category 
then, following [26], we have an explicit chain complex M^[£) which com- 
putes i?*(K(£'), Q). It is the complex associated to the cubical object which 
in degree n is the Q-vector space spanned by the set of n-cubes of exact 
sequences. (See [30] for a nice exposition of this construction.) This con- 
struction is functorial in the sense that an exact functor 'y : £ ^t T induces a 
map of chain complexes M^,["f) : M^[£) -^ M^{J^), and that an isomorphism 
between functors 7^7' induces a homotopy between M*(7) and M*(7'). 

One important feature of this construction is that if £, T and Q are exact 
categories, and n : £xJ^ —^ Q is a biexact functor, then given an 7n-cube a of 
exact sequences in £ and an n-cube /? of exact sequences in J^, n{a, (3) is an 
(m + n)-cube of exact sequences in Q. Clearly if either a or /? is degenerate, 
their product is too, and thus we have a pairing: 

M,{fi) : M4£) ®Q Af,(^) ^ M,{g) . 

Suppose that £ is an exact category and w is a subcategory of £ so that 
(£',w) is a category with cofibrations (= to the admissible monomorphisms 



44 HENRI GILLET AND CHRISTOPHE SOULE 

in £) and weak equivalences. Then we have a fibration sequence of i^-theory 
spectra 

K(£:^) ^ K(£:) ^ K(w^) 

[33], 1.6.4 and [32], 1.8.2. Observe that M*(.?*) is a subcomplex of M*(£'), 
since a degenerate cube of exact sequences in £ which hes in £^ is degenerate 
as a cube in £"" . Hence we have: 

Lemma 6.7. The rational K-theory of the Waldhausen category (£',w) is 
computed by the chain complex 

Furthermore, {£,'w) i— > M*(wi?) is a covariant functor from exact categories 
to chain complexes. 

Definition 6.8. If X and Y are varieties, we shall write M^:{X,Y) for 

M4C{X,Y)). We then have a functor: 

V°P X V -^ Chain(Q) 
{X,Y) ^ M4X,Y) 

where Chain(Q) is the category of chain complexes of Q-vector spaces. 

Proposition 6.9. // X is regular and projective, the natural functor from 
C{X,Y) to the Waldhausen category of all bounded complexes of quasi- 
coherent sheaves with coherent cohomology on X x Y induces an isomor- 
phism on K-theory, and hence a weak equivalence of K-theory spectra: 

KC{X,Y) ~G(X X Y) . 

Proof. By [32] 1.9.7 and 1.9.8 it is enough to show: 

i) Any bounded complex G' of quasi-coherent sheaves on X x y is 
isomorphic in the derived category to a bounded complex ^' of uni- 
versally strongly acyclic quasi-coherent sheaves with each 5* flat over 
X. 

ii) Any bounded complex Q' of quasi-coherent sheaves on X x Y with 
coherent cohomology is quasi-isomorphic to a bounded complex of 
coherent sheaves. 

Assertion ii) is a standard fact, since any quasi-coherent sheaf is a direct 
limit of coherent sheaves. 

To prove i), we have to deal with two issues, flatness and universal strong 
acyclicity. The approach we take addresses both issues simultaneously. If V 
is a quasi-compact separated scheme, and il = {f/j}"^]^ is a finite affine cover 
of V, il determines a diagram in the category of affine schemes, with vertices 
the non-empty intersections C// (0 7^ / C {1, . . . ,n}) of opens in the cover 
and arrows the inclusions. Following [l] we define a quasi-coherent il-module 
971 to be a family Mj of Oy(C//)-modules, together with maps M/ — > Mj 
if / C J which are (Dv(Uj) linear and which satisfy the obvious presheaf 
condition. A sequence of il-modules is exact if the induced sequences of 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 45 

Cy(f^/) modules are exact for all /, and a 11- module Tl is flat if all the Mj 
are flat. 

There is an obvious exact functor from quasi-coherent sheaves on V to 
quasi-coherent it- modules, sending a quasi-coherent sheaf .F to the it- module 
Uj 1-^ J-{Ui). On the other hand, given a quasi-coherent it-module 9Jt, there 
is a Cech complex C*(S!Jt) which is a bounded complex of quasi-coherent 
sheaves, and which is functorial with respect to OJt. Since the sheaves in 
the complex are all direct sums of direct images of quasi-coherent sheaves 
on affine opens they are universally strongly acyclic. If ^ is the it-module 
associated to a quasi-coherent sheaf !F on V ^ then C*{^) is just the standard 
Cech resolution C*(il, JF) which is quasi-isomorphic to 5^. It is shown in 
section (1.2) of op. cit that the functor 9JI i-^ C*{W) is exact, and that 
if W is flat as a it- module, then C*(9Jt) is a complex of flat quasi-coherent 
sheaves on V. Furthermore any quasi-coherent it-module is a quotient of a 
flat quasi-coherent it-module. Suppose now that Q* is a bounded complex 
of quasi-coherent sheaves on V. Let (5* be the associated complex of quasi- 
coherent it-modules, and choose a resolution ^* of (5* by flat quasi-coherent 
it-modules. If we then then apply the functor C* we obtain a complex 
C*(5*) of universally strongly acyclic flat quasi-coherent Oy-modules quasi- 
isomorphic to Q* . 

Returning now to the situation of part ii) of the theorem, suppose that 
Q* is a bounded complex of quasi-coherent sheaves of X x ^-modules. Since 
we assume that X is regular, Ox has finite global tor-dimension. Hence if 
5"* is a flat resolution of ©* as above, for sufficiently large k, the kernel of 
5""^ -^ 5^"'^"''^ while not flat as an OxxY module, will be flat as an Ox- 
module. Hence taking the "good" truncation of the complex ^* at that 
point we obtain a finite resolution ^ of <3* by Ox-flat it-modules, and so 
on applying the functor C* we obtain a bounded complex, isomorphic in the 
derived category to G* , of universally strongly acyclic quasi-coherent sheaves 
which are flat over Ox- D 

Corollary 6.10. Suppose that X is regular and projective, Y is an arbitrary 
variety and Y' C Y is a closed subscheme with open complement U. There is 
map M^{X, Y) -^ M^{X, U) (since the restriction of an object 5' in C(X, Y) 
to X X U is clearly in C{X, U)). Then the associated sequence of maps of 
complexes: 

M^X, Y') -^ M*(X, Y) -^ M^X, U) . 
induces a quasi-isomorphism from the cone of the map 

M^{X,Y')^M4X,Y) 
to M^{X,U). 
Proof. This follows from Quillen's localization theorem, which implies that 

G{X X Y') -^ G{X X y) ^ G{X X U) 
is a fibration sequence of spectra. D 



46 HENRI GILLET AND CHRISTOPHE SOULE 

Definition 6.11. Let X be a variety, and Y. a simplicial variety witli proper 
face maps. Then we define 

M^{X,Y.) := ToUiJ ^ M^{X,Yj)) . 

If p. : Y. ^ Z. is a morphisni between simplicial varieties with proper 
maps which is proper in each degree, we define 

M^X, p.) := cone (M,(X, Y.) -^ M^X, Z.)) . 
If X. is a simplicial variety, we define (with notation as above) 
M,(X,y.) := TotP {i ^ M4Xi,Y.)) , 
i.e., Mk{X.,Y.) = n,M,+fc(X„y.)), and 

M,(X,/3.) :=cone(M,(X,y.) ^M,(X,Z.)). 
Note that since infinite products are exact, M*(X.,/3.) is isomorphic to 

Totn(i^M,(Xi,/3.)) • 
li a -.W. ^> X. is an arrow between simplicial varieties, we set 

M,(a.,/3.) := coneM*(X,/3.) ^ M^{W., p. ))[-!] . 

These constructions are all contravariant in the first variable, and covari- 
ant in the second variable {e.g. with respect to morphisms between arrows of 
simplicial objects in the category of proper maps between varieties). There 
are also natural equivalences when two of these constructions should agree 
; for example if X. = X is a constant simplicial variety, the natural map 

M*(x,y.) ^M*(x,y.) 

is a quasi-isomorphism. 

Suppose that X., Y., Z. are all simplicial proper varieties. Then we have 
a composition: 

M,(x,y.) (g)M,(x,y.) ^ M,(x,z.) 

which is associative up to homotopy, defined by 

M,(X, Y.) M„(y. , Z.) ^ M,+„(X, Z.) 

n MiiX„Yk)\®ll( MpiYn,Z,)] 

j \.k+l=j+i I n \p+q=m+n / 

^n( mxr.Zs)\ 

r \t+s=i+'m+r / 

which for I + p = t, k and s = q, is induced by the pairings 

Ml{Xj,Yk) Mp{Yn, Zq) ^ Mt{Xr, Zs) 

and is zero otherwise. 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 47 

It is straightforward to check that this defines a category enriched over the 
category of chain complexes of vector spaces (with respect to the monoidal 
structure given by tensor product), with objects simphcial varieties. 

Lemma 6.12. Let vr. : Y' . -^ Y. he a proper hypercover of simplicial vari- 
eties with proper faces maps. Then, if X. is a simplicial regular projective 
variety, the map 

M^{X.,Y.') ^ M4X.,Y.) 

is a quasi-ismorphism. Similarly, if vr : /3.' — > (3. is a map of arrows 




•KY '^Z 



with TTy and ttz proper hypercovers, we have a weak equivalence, for all 
arrows a. between simplicial regular projective varieties 

M,{a.,p')^M,{a.,p). 

Proof. For a fixed Xi we know that M^:{Xi,Y,') -^ M^:{Xi,Y.) is a quasi- 
isomorphism, by theorem 14. 1[ Since M^:{X.,Y.) is the inverse hmit, over 

n > 0, of Toti {i 1-^ M^,{Xi,Y.),i < n) a standard hm argument shows 
that M^:{X.,Y.') -^ M^(X.,Y.) is a quasi- isomorphism. A similar argument 
gives the second assertion of the lemma. □ 

Lemma 6.13. Suppose that Z. is a simplicial variety with proper face maps, 
and Y. C Z. is a closed simplicial suhvariety such that the complement 
U. = Z.\Y. is an open simplicial suhvariety. Then, for all simplicial reg- 
ular projective varieties X., the localization sequences 

M,{Xi, Yj) ^ M.iXi, Zj) ^ M.iXi, Uj) 

induce a fihration sequence 

M,(X,y.) ^M,(X,Z.) -^M4X.,U.) 

and similarly, if a. : W. -^ X. is an arrow in the category of simplicial 
regular projective varieties, we have a (co)fihration sequence: 

M^{a.,Y.) -^M4a.,Z.) ^M^{a.,U.). 

Proof. Again a standard lim argument. D 

Lemma 6.14. Let g : X ^ Y he a proper morphism in V, and F^ : X — > 
X -kY its graph. Let Or^ he the object {Tg)^{Ox) in C{X,Y). Then if 
p : Y' —I- Y is proper, p^{Org) = Cppog- (Note that this is an equality rather 
than an isomorphism!). While if f : X' ^ X is a morphism, we have a 
canonical isomorphism: 

f*iOr,)^Or,^g. 
Hence we have a well defined object in the big Zariski site over X, (/ : X' — ;• 

X) ^ (r(3./))*(Ox') . 



48 HENRI GILLET AND CHRISTOPHE SOULE 

Proof. Exercise. D 

On the category Chain(Q) of chain complexes concentrated in positive 
degrees, Hq gives a functor to the category of Q- vector spaces, viewed as 
chain complexes concentrated in degree zero, together with a natural trans- 
formation 

r? : Id ^ Ho . 

This is the homological equivalent of taking the 0-th stage of the Postnikov 
tower of a spectrum. 

Hence, given a pair of objects X., Y. in RP , we get a map of cosim- 
plicial simplicial chain complexes: 

(i,j) ^ {M,{Xi,Yj) ^ KC{Xi,Yj)) 

since Ho(M=f(Xj,l^)) ~ KC{Xi,Yj), and therefore we have a homomor- 
phism 

Ho(M,(X,y.)) ^ }io{ToU{KC{Xi,Yj)) . 

But the target of this homomorphism is equal to the homotopy classes of 
maps r*(X.) — > r*(y.) (cf. §5.3). More generally, given arrows a. and (3. in 
RP , we get in a similar fashion a morphism 

7 : Ho(M*(a.,/5.)) -^ {Homotopy classes of maps r*(a.) -^ r*(/3.)} . 

Proposition 6.15. Let f : a. = (W. -^ X.) ^ (3. = {Y. -^ Z.) be a map 
of arrows in RP , so that we have a commutative diagram : 



W.^^^X. 



f 



9 



Y.^^Z. 

of maps of simplicial regular projective varieties. Then there is a 0-cycle [f] 
in M*(a.,/3.) such that 7 [/] is the homotopy class of the map r*(/). 

Proof. It follows from Lemma |6.14| that the sheaves Or^. and Opg deter- 
mine elements [Cr^J and [Org] in Mo{Wi, Yi) and Mo{Xj, Zj), respectively, 
such that for all i, b^[Orf.] = a*[Org.], and which are compatible with all face 
and degeneracy maps, and therefore define a 0-cycle [/] in M^:{a., j3.). On the 
other hand, under the map 7, for each z, the class of [Or/.] in Kq C(Wi., Yi) 
is the map r*(/j), and similarly for F^^, and so 7 [/] = r*(/). D 

Let C'(X, Y) be the Waldhausen category of bounded complexes of quasi- 
coherent sheaves of OxxY modules which are flat over X, and which have 
coherent cohomology having support proper over Y . 

Lemma 6.16. 1) The inclusion of Waldhausen categories 

c{x,Y) cc'(x,y) 

induces an isomorphism on K-theory. 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 49 

2) C'(X,Y) is contravariant with respect to X : given an object 5' in 
C'(X,y) and a morphism f : X' ^ X, f*{d') G C'{X',Y). 

Proof. Straightforward. D 

We write M^(X, Y) for the complex M*(C'(X, Y)) computing the rational 
iT-theory of C'{X,Y) . Suppose that / : X — > y is a flat morphism of 
varieties. Pick a compactification i -.Y -^-^ Y with complement Z. Note that 
i ■ f : X ^ Y is also flat. The structure sheaf of the graph of /, Opp is an 
object in C'{X, Y) while Or^^f is an object in C'{Y, X). Notice that the pull 
back of Orio/ to C'{Z, X) is identically zero. Hence [Opioy ] gives a 0-cycle in 
the homotopy fibre of Ml{Y,X) -^ Mi{Z,X), which we denote Mi{{Z -^ 
Y),X). Now pick a non-singular hypercover vr : (Z. -^ Y.) -^ (Z ^ Y). 
Again by contravariance of C'(-, ■) in the first variable, we get a class (which 
we denote 7r*([Or„,])) in HoM^((Z. ^ Y.),X) ~ HoM,((Z. ^ Y.),X) 

Now pick a compactification X of X with complement W. By localization, 
we have a fibration sequence, writing a. = [Z . — > 1".), 

M^{a, W) -^ M^{a,X) -^ M^{a,X) 

and hence a class in 

CGHo(M,(a,(VF^X)) 

which maps to vr* ( [Or^o ^ ] ) . 

If p : (3 = {W. -^ X.) -^ (W -^ X) is a regular proper hypercover of the 
arrow {W -^ X), by descent (|3.4p . we have that 

p* : M,(a,/3) ^ M,(a, (1^ ^ X)) 

is a quasi-isomorphism, and hence we get a class p*(C)^^ € Ho(M*(a,/3)). 
Now applying 7, we get a homotopy class of maps T^{a) — > r*(/3), i.e. a 
map /* : h{Y) -^ h{X). 

We can compare this construction with the one situation in which we have 
already defined a pull back map, i.e. when / : f7 — > X is an open immersion: 

Proposition 6.17. Let i : U ^> X is an open immersion between varieties. 
Then the associated map of weight complexes h(X) — > h{U) which comes 
from the definition of weight complexes, agrees with the map induced by 
viewing Or^ 05 being quasi-isomorphic to an object of C{U,X). 

Proof. Recall that the map of weight complexes is constructed as follows. 
Pick a compactification X of X, and set Y = X\X and Z = X\U, so that 
Y C Z C X, with all three proper varieties. We can find a diagram: 

Y. > Z. > X. 



Y > Z > X 



50 HENRI GILLET AND CHRISTOPHE SOULE 

with y — > y, Z ^ Z and X. ^ X all non-singular proper hypercovers. 
Consider the induced commutative square: 

Y. -^^ X. 



Z. -^X. 
Following Proposition 16.15^ we know that there is a corresponding 0-cycle 
Mi^,{a,f3) which induces the corresponding map of weight complexes. By 
localization and descent, M*(a,/3) ~ M^<(a., U) and by the compatibility of 
the objects O-pg of lemma l6.14l with push-forward and pull-back on the source 
and target of /, we see that the image of this zero cycle is exactly the 0-cycle 
used to define pull back with respect to the fiat morphism i : U ^ X. D 

Theorem 6.18. Let X,Y be projective varieties. Then there is a map 

7 : Ko{CiX,Y))Q ~ Ho(M,(X,y)) ^ Rom{h{X) , h{Y)) 

which is covariant with respect to Y and contravariant with respect to X, 
and which is the identity if X and Y are regular and projective (note that 
then Kq{C{X,Y)) = Gq{X x Y)). 

Proof. Let p : X. ^^ X and g : y. ^ y be non-singular proper hyper- 
covers. Given ip G Kq{C{X,Y)), we have p*{(p) G Ho(M*(X.,y)) and 
g* : M*(X., y.) — > M*(X., y) is a weak equivalence. Hence there is a unique 

if G Ho(M*(X., y.)) such that q^ip) = p*{ip). 

Applying the natural transformation 7 defined before 16.151 we get an 
element 

7(^)G//o(Hom(r,(x.),r,(y))). 

That the homotopy class of this map does not depend on the choice of 
p : X. ^ X and q : Y. ^ Y follows the same pattern as 15.91 Functoriality 
with respect to X and Y is an immediate consequence of the fact that the 
complex M^,{X,Y) is contravariant with respect to X and covariant with 
respect to y. If X and Y are already regular, we take p and q to be the 
identity and the assertion is clear. D 

Notice that it follows from this result that if / : y ^ X is a morphism of 
finite tor-dimension between projective varieties, then there is a well defined 
map 

f*:h{X)^h{Y), 

since Or^ is quasi- isomorphic to an object of C{X,Y). 

References 

[1] Alonso Tarrio, L., Jeremas Lopez, A. and Lipman, J., Local homology and 
cohomology on schemes, Ann. Sci. Ecole Norm. Sup. (4) 30 (1997), 1-39. 

[2] BiTTNER, F., The universal Euler characteristic for varieties of characteristic zero. 
Compos. Math. 140 (2004), no. 4, 1011-1032 



MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 51 

[3] BOREL, A., Serre, J.-P., Le theoreme de Riemann-Roch. Bull. Soc. Math. France 

86 (1958) 97-136. 
[4] BOUSFIELD A.K. and Kan D.M. Homotopy limits, completions and localizations. 

Lecture Notes in Mathematics 304, Berlin-Heidelberg-New York: Springer- Verlag. 
[5] Conrad B., Keele-Mori theorem via stacks, unpublished notes, 

http://www.lsa-unich.edu/~bdconrad/coarsespace.pdf 
[6] DE Jong, A. J., Families of curves and alterations, Ann. Inst. Fourier 47, 2 (1997), 

599-621. 
[7] Deligne, p., Theorie de Hodge 111, Inst. Hautes Etudes Set. Puhl. Math. 44 (1974), 

5-77. 
[8] Gabber, O., Finiteness theorems for etale cohomology of excellent schemes. Confer- 
ence in honor of P. Deligne on the occasion of his 61st birthday, IAS, Princeton, 
October 2005. 
[9] Gabriel, P. and Zisman, M., Calculus of fractions and homotopy theory, Ergebmsse 
der Mathematik und ihrer Grenzgebiete, 35, Springer- Verlag New York, Inc., New 
York (1972). 

[10] Geisser, T., and Hesselholt, L., Topological cyclic homology of schemes, in Al- 
gebraic A'-theory (Seattle, WA, 1997), Proc. Sympos. Pure Math., 67, Amer. Math. 
Soc, Providence, Rl, (1999), 41-87. 

[11] GiLLET, H., Riemann-Roch Theorems for Higher Algebraic K-Theory, Adv. in Math. 
40 No. 3 (1981), 203-289. 

[12] GiLLET, H., Homological descent for the A'-theory of coherent sheaves, in Algebraic 
A'-theory, number theory, geometry and analysis (Bielefeld, 1982), Lecture Notes in 
Math. 1046 (1984) 80-103, Springer, Berlin. 

[13] GiLLET, H., Intersection theory on algebraic stacks and Q-varieties, in Proceedings 
of the Luminy conference on algebraic A'-theory (Luminy, 1983), J. Pure Appl. 
Algebra 34 (1984), 193-240. 

[14] GiLLET, H. and Soule, C, Descent, motives and A'-theory, J. Reine Angew. Math. 
478 (1996), 127-176. 

[15] Grothendieck, A., Elements de geometrie algebrique. IV. Etude locale des schemas 
et des morphismes de schemas. III. Inst. Hautes Etudes Sci. Publ. Math. 28 (1966), 
p. 255. 

[16] Grothendieck, A. and others, Theorie des topos et cohomologie etale des schemas. 
Tome 2. Seminaire de Geometrie Algebrique du Bois-Marie 1963-1964 (SGA 4), 
Dirige par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de 
N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics 270, 
Springer- Verlag, Berlin, (1972). 

[17] Guillen, F., Navarro Aznar, V., Un critere d'extension d'un foncteur defini sur 
les schemas lisses Inst. Hautes Etudes Sci. Publ. Math. 95 (2002), 1-91. 

[18] Hartshorne, R., Algebraic geometry. Graduate Texts in Mathematics, No. 52, 
Springer- Verlag, New York (1977). 

[19] HovEY, M., Shipley, B. and Smith, J., Symmetric spectra, J. Amer. Math. Soc. 
13 No 1 (2000), 149-208. 

[20] Jardine, J. F. Presheaves of symmetric spectra, J. Pure Appl. Algebra 150 No. 2 
(2000), 137-154. 

[21] Kahn, B. and Sujatha, R., A few localisation theorems. Homology, Homotopy and 
Applications 9 (2007), 137-161. 

[22] Keele, S. and MORI, S., Quotients by groupoids, Ann. Math. 145 (1997), 193-213. 

[23] Laumon, G. and Moret-Bailly, L., Champs algebriques, Ergebnisse der Mathe- 
matik und ihrer Grenzgebiete. 3. 39, Springer- Verlag, Berlin (2000). 

[24] Mac Lane, S., Categories for the working mathematician. Graduate Texts in Math- 
ematics 5, Second Edition, Springer- Verlag, New York (1998). 



52 HENRI GILLET AND CHRISTOPHE SOULE 

[25; 

[26; 



[27; 
[28; 

[29 
[30 

[31 

[32; 

[33 



Manin, Y. Correspondences, motifs and monoidal transformations Mat. Sb., N. 
77(119) (1968), 475-507. 

McCarthy, R., A chain complex for the spectrum homology of the algebraic K- 
theory of an exact category, in Algebraic ii'-theory (Toronto, ON, 1996), 199-220, 
Fields Inst. Commun., 16, Amer. Math. Soc, Providence, RI, 1997. 
QuiLLEN, D. C, Homotopical algebra. Lecture Notes in Mathematics, 43, Springer- 
Verlag, Berlin (1967). 

QuiLLEN D. C, Higher Algebraic K-theory I, Lecture Notes in Mathematics, Lecture 
Notes in MathematicsZAl (1973), 85-147. 

ROST, M., Chow groups with coefficients. Doc. Math. 1 (1996), No. 16, 319-393. 
Takeda, Y., Complexes of exact Hermitian cubes and the Zagier conjecture. Math. 
Ann. 328 (2004), no. 1-2, 87-119. 

Thomason, R. W. Algebraic ii'-theory and etale cohomology. Ann. Set. Ecole Norm. 
Sup. (4) 18 (1985), no. 3, 437-552. 

Thomason, R. W. and Trobaugh, T., Higher algebraic ii'-theory of schemes and 
of derived categories, in The Grothendieck Festschrift, Vol. HI, Progr. Math. 88 
(1990), 247-435, Birkhauser Boston, Boston, MA. 

Waldhausen, F., Algebraic ii'-theory of spaces, in Algebraic and geometric topol- 
ogy (New Brunswick, N.J., 1983), 318-419, Lecture Notes in Math., 1126, Springer, 
Berlin, 1985. 



Department of Mathematics, Statistics, and Computer Science, University 
OF Illinois at Chicago, 322 Science and Engineering Offices (M/C 249), 851 S. 
Morgan Street, Chicago, IL 60607-7045, U.S.A. 

E-mail address: gillet@uic.edu 

Institut des Hautes Etudes Scientifiques, 35 route de Chartres, 91440 Bures- 
sur-Yvette, France 

E-mail address: soule@ihes.fr